src/plugins/e-acsl/tests/e-acsl-runtime · 1e75b7af65bd9ae5fbbf76af1aac1e55692c7d40 · pub / frama-c

[E-ACSL] fixed bug #1390 about typing of logic variables of type long long

Julien Signoles authored 12 years ago

[E-ACSL] compute a more precise type for quantified variable with a strict upper bound
[E-ACSL] do not modify the type of a quantified variable anymore

1e75b7af

History

1e75b7af 12 years ago

History

Name	Last commit	Last update
..
oracle
result
addrOf.i
arith.i
array.i
at.i
bts1304.i
bts1307.i
bts1324.i
bts1326.i
bts1390.c
cast.i
comparison.i
empty.i
false.i
function_contract.i
ghost.i
integer_constant.i
invariant.i
labeled_stmt.i
lazy.i
linear_search.i
literal_string.i
localvar.c
nested_code_annot.i
not.i
null.i
other_constants.i
ptr.i
quantif.i
result.i
sizeof.i
stmt_contract.i
test_config
true.i
typedef.i
valid.c
valid_alias.c
valid_in_contract.c