[E-ACSL] fixing oracles (f73e5cf7) · Commits · pub / frama-c

Commit f73e5cf7 authored 12 years ago by Julien Signoles

Browse files

[E-ACSL] fixing oracles

parent 07eb99e5

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/tests/e-acsl-runtime/oracle/arith.1.res.oracle 1 addition, 11 deletions

...ins/e-acsl/tests/e-acsl-runtime/oracle/arith.1.res.oracle
src/plugins/e-acsl/tests/e-acsl-runtime/oracle/array.1.res.oracle 1 addition, 4 deletions

...ins/e-acsl/tests/e-acsl-runtime/oracle/array.1.res.oracle
src/plugins/e-acsl/tests/e-acsl-runtime/oracle/at.1.res.oracle 1 addition, 5 deletions

...lugins/e-acsl/tests/e-acsl-runtime/oracle/at.1.res.oracle
src/plugins/e-acsl/tests/e-acsl-runtime/oracle/cast.1.res.oracle 1 addition, 5 deletions

...gins/e-acsl/tests/e-acsl-runtime/oracle/cast.1.res.oracle
src/plugins/e-acsl/tests/e-acsl-runtime/oracle/comparison.1.res.oracle 1 addition, 5 deletions

...-acsl/tests/e-acsl-runtime/oracle/comparison.1.res.oracle
src/plugins/e-acsl/tests/e-acsl-runtime/oracle/function_contract.1.res.oracle 1 addition, 5 deletions

...ests/e-acsl-runtime/oracle/function_contract.1.res.oracle
src/plugins/e-acsl/tests/e-acsl-runtime/oracle/integer_constant.1.res.oracle 1 addition, 4 deletions

...tests/e-acsl-runtime/oracle/integer_constant.1.res.oracle
src/plugins/e-acsl/tests/e-acsl-runtime/oracle/invariant.1.res.oracle 1 addition, 4 deletions

...e-acsl/tests/e-acsl-runtime/oracle/invariant.1.res.oracle
src/plugins/e-acsl/tests/e-acsl-runtime/oracle/labeled_stmt.1.res.oracle 1 addition, 4 deletions

...csl/tests/e-acsl-runtime/oracle/labeled_stmt.1.res.oracle
src/plugins/e-acsl/tests/e-acsl-runtime/oracle/lazy.1.res.oracle 1 addition, 4 deletions

...gins/e-acsl/tests/e-acsl-runtime/oracle/lazy.1.res.oracle
src/plugins/e-acsl/tests/e-acsl-runtime/oracle/linear_search.1.res.oracle 1 addition, 7 deletions

...sl/tests/e-acsl-runtime/oracle/linear_search.1.res.oracle
src/plugins/e-acsl/tests/e-acsl-runtime/oracle/nested_code_annot.1.res.oracle 1 addition, 4 deletions

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

...ugins/e-acsl/tests/e-acsl-runtime/oracle/not.1.res.oracle
src/plugins/e-acsl/tests/e-acsl-runtime/oracle/other_constants.1.res.oracle 1 addition, 4 deletions

.../tests/e-acsl-runtime/oracle/other_constants.1.res.oracle
src/plugins/e-acsl/tests/e-acsl-runtime/oracle/ptr.1.res.oracle 1 addition, 9 deletions

...ugins/e-acsl/tests/e-acsl-runtime/oracle/ptr.1.res.oracle
src/plugins/e-acsl/tests/e-acsl-runtime/oracle/quantif.1.res.oracle 1 addition, 9 deletions

...s/e-acsl/tests/e-acsl-runtime/oracle/quantif.1.res.oracle
src/plugins/e-acsl/tests/e-acsl-runtime/oracle/result.1.res.oracle 1 addition, 6 deletions

...ns/e-acsl/tests/e-acsl-runtime/oracle/result.1.res.oracle
src/plugins/e-acsl/tests/e-acsl-runtime/oracle/sizeof.1.res.oracle 1 addition, 4 deletions

...ns/e-acsl/tests/e-acsl-runtime/oracle/sizeof.1.res.oracle
src/plugins/e-acsl/tests/e-acsl-runtime/oracle/stmt_contract.1.res.oracle 1 addition, 5 deletions

...sl/tests/e-acsl-runtime/oracle/stmt_contract.1.res.oracle
src/plugins/e-acsl/tests/e-acsl-runtime/oracle/typedef.1.res.oracle 1 addition, 4 deletions

...s/e-acsl/tests/e-acsl-runtime/oracle/typedef.1.res.oracle

with 20 additions and 107 deletions

Please register or to comment