src/plugins/e-acsl/tests/e-acsl-runtime · b49dfc34a93922e8f7313c6f53f19a5d84fb73e8 · pub / frama-c · GitLab

Snippets Groups Projects

[tests] update oracle according to libc's changes

Julien Signoles authored 10 years ago

b49dfc34

b49dfc34 10 years ago

Name	Last commit	Last update
..
oracle
result
addrOf.i
alias.i
arith.i
array.i
at.i
bts1304.i
bts1307.i
bts1324.i
bts1326.i
bts1390.c
bts1398.c
bts1399.c
bts1478.c
bts1700.i
bts1717.i
call.c
cast.i
comparison.i
empty.i
false.i
function_contract.i
ghost.i
init.c
integer_constant.i
invariant.i
labeled_stmt.i
lazy.i
linear_search.i
literal_string.i
localvar.c
longlong.i
loop.i
mainargs.c
nested_code_annot.i
not.i
null.i
other_constants.i
ptr.i
ptr_init.c
quantif.i
result.i
sizeof.i
stdout.c
stmt_contract.i
test_config
true.i
typedef.i
valid.c
valid_alias.c
valid_in_contract.c
vector.c