src/plugins/e-acsl/tests/e-acsl-runtime/oracle · 675f630ffb14034b71ab8b821407d7859d8b29f5 · pub / frama-c

Compare

[E-ACSL] update oracles according to kernel's and Value's changes

Julien Signoles authored 12 years ago

675f630f

History

675f630f 12 years ago

History

Name	Last commit	Last update
..
addrOf.1.err.oracle
addrOf.1.res.oracle
addrOf.err.oracle
addrOf.res.oracle
arith.1.err.oracle
arith.1.res.oracle
arith.err.oracle
arith.res.oracle
array.1.err.oracle
array.1.res.oracle
array.err.oracle
array.res.oracle
at.1.err.oracle
at.1.res.oracle
at.err.oracle
at.res.oracle
bts1304.1.err.oracle
bts1304.1.res.oracle
bts1304.err.oracle
bts1304.res.oracle
bts1307.1.err.oracle
bts1307.1.res.oracle
bts1307.err.oracle
bts1307.res.oracle
bts1324.1.err.oracle
bts1324.1.res.oracle
bts1324.err.oracle
bts1324.res.oracle
bts1326.1.err.oracle
bts1326.1.res.oracle
bts1326.err.oracle
bts1326.res.oracle
cast.1.err.oracle
cast.1.res.oracle
cast.err.oracle
cast.res.oracle
comparison.1.err.oracle
comparison.1.res.oracle
comparison.err.oracle
comparison.res.oracle
empty.1.err.oracle
empty.1.res.oracle
empty.err.oracle
empty.res.oracle
false.1.err.oracle
false.1.res.oracle
false.err.oracle
false.res.oracle
function_contract.1.err.oracle
function_contract.1.res.oracle
function_contract.err.oracle
function_contract.res.oracle
gen_addrOf.c
gen_addrOf2.c
gen_arith.c
gen_arith2.c
gen_array.c
gen_array2.c
gen_at.c
gen_at2.c
gen_bts1304.c
gen_bts13042.c
gen_bts1307.c
gen_bts13072.c
gen_bts1324.c
gen_bts13242.c
gen_bts1326.c
gen_bts13262.c
gen_cast.c
gen_cast2.c
gen_comparison.c
gen_comparison2.c
gen_false.c
gen_false2.c
gen_function_contract.c
gen_function_contract2.c
gen_ghost.c
gen_ghost2.c
gen_integer_constant.c
gen_integer_constant2.c
gen_invariant.c
gen_invariant2.c
gen_labeled_stmt.c
gen_labeled_stmt2.c
gen_lazy.c
gen_lazy2.c
gen_linear_search.c
gen_linear_search2.c
gen_literal_string.c
gen_literal_string2.c
gen_localvar.c
gen_localvar2.c
gen_nested_code_annot.c
gen_nested_code_annot2.c
gen_not.c
gen_not2.c
gen_null.c
gen_null2.c
gen_other_constants.c
gen_other_constants2.c
gen_ptr.c
gen_ptr2.c
gen_quantif.c
gen_quantif2.c
gen_result.c
gen_result2.c
gen_sizeof.c
gen_sizeof2.c
gen_stmt_contract.c
gen_stmt_contract2.c
gen_true.c
gen_true2.c
gen_typedef.c
gen_typedef2.c
gen_valid.c
gen_valid2.c
gen_valid_alias.c
gen_valid_alias2.c
gen_valid_in_contract.c
gen_valid_in_contract2.c
ghost.1.err.oracle
ghost.1.res.oracle
ghost.err.oracle
ghost.res.oracle
integer_constant.1.err.oracle
integer_constant.1.res.oracle
integer_constant.err.oracle
integer_constant.res.oracle
invariant.1.err.oracle
invariant.1.res.oracle
invariant.err.oracle
invariant.res.oracle
labeled_stmt.1.err.oracle
labeled_stmt.1.res.oracle
labeled_stmt.err.oracle
labeled_stmt.res.oracle
lazy.1.err.oracle
lazy.1.res.oracle
lazy.err.oracle
lazy.res.oracle
linear_search.1.err.oracle
linear_search.1.res.oracle
linear_search.err.oracle
linear_search.res.oracle
literal_string.1.err.oracle
literal_string.1.res.oracle
literal_string.err.oracle
literal_string.res.oracle
localvar.1.err.oracle
localvar.1.res.oracle
localvar.err.oracle
localvar.res.oracle
nested_code_annot.1.err.oracle
nested_code_annot.1.res.oracle
nested_code_annot.err.oracle
nested_code_annot.res.oracle
not.1.err.oracle
not.1.res.oracle
not.err.oracle
not.res.oracle
null.1.err.oracle
null.1.res.oracle
null.err.oracle
null.res.oracle
other_constants.1.err.oracle
other_constants.1.res.oracle
other_constants.err.oracle
other_constants.res.oracle
ptr.1.err.oracle
ptr.1.res.oracle
ptr.err.oracle
ptr.res.oracle
quantif.1.err.oracle
quantif.1.res.oracle
quantif.err.oracle
quantif.res.oracle
result.1.err.oracle
result.1.res.oracle
result.err.oracle
result.res.oracle
sizeof.1.err.oracle
sizeof.1.res.oracle
sizeof.err.oracle
sizeof.res.oracle
stmt_contract.1.err.oracle
stmt_contract.1.res.oracle
stmt_contract.err.oracle
stmt_contract.res.oracle
true.1.err.oracle
true.1.res.oracle
true.err.oracle
true.res.oracle
typedef.1.err.oracle
typedef.1.res.oracle
typedef.err.oracle
typedef.res.oracle
valid.1.err.oracle
valid.1.res.oracle
valid.err.oracle
valid.res.oracle