[e-acsl] update tests according to Value's changes (f73cc8dd) · Commits · pub / frama-c

Commit f73cc8dd authored 13 years ago by Julien Signoles

[e-acsl] update tests according to Value's changes

[e-acsl] update todo-list

parent f18cfe09

No related branches found

No related tags found

No related merge requests found

Hide whitespace changes

Inline Side-by-side

Showing

src/plugins/e-acsl/TODO 6 additions, 3 deletions

src/plugins/e-acsl/TODO
src/plugins/e-acsl/tests/e-acsl-runtime/oracle/addrOf.res.oracle 1 addition, 1 deletion

...gins/e-acsl/tests/e-acsl-runtime/oracle/addrOf.res.oracle
src/plugins/e-acsl/tests/e-acsl-runtime/oracle/arith.res.oracle 2 additions, 2 deletions

...ugins/e-acsl/tests/e-acsl-runtime/oracle/arith.res.oracle
src/plugins/e-acsl/tests/e-acsl-runtime/oracle/array.res.oracle 2 additions, 2 deletions

...ugins/e-acsl/tests/e-acsl-runtime/oracle/array.res.oracle
src/plugins/e-acsl/tests/e-acsl-runtime/oracle/at.res.oracle 4 additions, 4 deletions

src/plugins/e-acsl/tests/e-acsl-runtime/oracle/at.res.oracle
src/plugins/e-acsl/tests/e-acsl-runtime/oracle/cast.res.oracle 2 additions, 2 deletions

...lugins/e-acsl/tests/e-acsl-runtime/oracle/cast.res.oracle
src/plugins/e-acsl/tests/e-acsl-runtime/oracle/comparison.res.oracle 2 additions, 2 deletions

.../e-acsl/tests/e-acsl-runtime/oracle/comparison.res.oracle
src/plugins/e-acsl/tests/e-acsl-runtime/oracle/false.res.oracle 1 addition, 1 deletion

...ugins/e-acsl/tests/e-acsl-runtime/oracle/false.res.oracle
src/plugins/e-acsl/tests/e-acsl-runtime/oracle/function_contract.res.oracle 9 additions, 9 deletions

.../tests/e-acsl-runtime/oracle/function_contract.res.oracle
src/plugins/e-acsl/tests/e-acsl-runtime/oracle/integer_constant.res.oracle 2 additions, 2 deletions

...l/tests/e-acsl-runtime/oracle/integer_constant.res.oracle
src/plugins/e-acsl/tests/e-acsl-runtime/oracle/lazy.res.oracle 2 additions, 2 deletions

...lugins/e-acsl/tests/e-acsl-runtime/oracle/lazy.res.oracle
src/plugins/e-acsl/tests/e-acsl-runtime/oracle/nested_code_annot.res.oracle 2 additions, 2 deletions

.../tests/e-acsl-runtime/oracle/nested_code_annot.res.oracle
src/plugins/e-acsl/tests/e-acsl-runtime/oracle/not.res.oracle 1 addition, 1 deletion

...plugins/e-acsl/tests/e-acsl-runtime/oracle/not.res.oracle
src/plugins/e-acsl/tests/e-acsl-runtime/oracle/null.res.oracle 1 addition, 1 deletion

...lugins/e-acsl/tests/e-acsl-runtime/oracle/null.res.oracle
src/plugins/e-acsl/tests/e-acsl-runtime/oracle/other_constants.res.oracle 2 additions, 2 deletions

...sl/tests/e-acsl-runtime/oracle/other_constants.res.oracle
src/plugins/e-acsl/tests/e-acsl-runtime/oracle/ptr.res.oracle 2 additions, 2 deletions

...plugins/e-acsl/tests/e-acsl-runtime/oracle/ptr.res.oracle
src/plugins/e-acsl/tests/e-acsl-runtime/oracle/result.res.oracle 5 additions, 5 deletions

...gins/e-acsl/tests/e-acsl-runtime/oracle/result.res.oracle
src/plugins/e-acsl/tests/e-acsl-runtime/oracle/sizeof.res.oracle 2 additions, 2 deletions

...gins/e-acsl/tests/e-acsl-runtime/oracle/sizeof.res.oracle
src/plugins/e-acsl/tests/e-acsl-runtime/oracle/stmt_contract.res.oracle 2 additions, 2 deletions

...acsl/tests/e-acsl-runtime/oracle/stmt_contract.res.oracle
src/plugins/e-acsl/tests/e-acsl-runtime/oracle/true.res.oracle 1 addition, 1 deletion

...lugins/e-acsl/tests/e-acsl-runtime/oracle/true.res.oracle

with 51 additions and 48 deletions

Please register or to comment