src/plugins/e-acsl/tests/e-acsl-runtime/oracle · 28887ed49140a9795823304ce5105e3f514505b2 · pub / frama-c

[visit] fix a inter-project sharing bug, because renaming a variable instead of creating a new one

Julien Signoles authored 10 years ago

[tests] update oracles according to various recent kernel changes

28887ed4

History

28887ed4 10 years ago

History

Name	Last commit	Last update
..
addrOf.1.err.oracle
addrOf.1.res.oracle
addrOf.err.oracle
addrOf.res.oracle
alias.1.err.oracle
alias.1.res.oracle
alias.err.oracle
alias.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
bts1390.1.err.oracle
bts1390.1.res.oracle
bts1390.err.oracle
bts1390.res.oracle
bts1398.1.err.oracle
bts1398.1.res.oracle
bts1398.err.oracle
bts1398.res.oracle
bts1399.1.err.oracle
bts1399.1.res.oracle
bts1399.err.oracle
bts1399.res.oracle
bts1478.1.err.oracle
bts1478.1.res.oracle
bts1478.err.oracle
bts1478.res.oracle
bts1700.1.err.oracle
bts1700.1.res.oracle
bts1700.err.log
bts1700.err.oracle
bts1700.res.log
bts1700.res.oracle
bts1717.1.err.oracle
bts1717.1.res.oracle
bts1717.err.oracle
bts1717.res.oracle
call.1.err.oracle
call.1.res.oracle
call.err.oracle
call.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_alias.c
gen_alias2.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_bts1390.c
gen_bts13902.c
gen_bts1398.c
gen_bts13982.c
gen_bts1399.c
gen_bts13992.c
gen_bts1478.c
gen_bts14782.c
gen_bts1700.c
gen_bts1717.c
gen_bts17172.c
gen_call.c
gen_call2.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_init.c
gen_init2.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_longlong.c
gen_longlong2.c
gen_loop.c
gen_loop2.c
gen_mainargs.c
gen_mainargs2.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_ptr_init.c
gen_ptr_init2.c
gen_quantif.c
gen_quantif2.c
gen_result.c
gen_result2.c
gen_sizeof.c
gen_sizeof2.c
gen_stdout.c
gen_stdout2.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
gen_vector.c
gen_vector2.c
ghost.1.err.oracle
ghost.1.res.oracle
ghost.err.oracle
ghost.res.oracle
init.1.err.oracle
init.1.res.oracle
init.err.oracle
init.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