Commit 9d6ecce5 authored 11 years ago by Julien Signoles

update oracles according to Value's changes

parent 3265715b

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/addrOf.1.res.oracle 0 additions, 2 deletions

...ns/e-acsl/tests/e-acsl-runtime/oracle/addrOf.1.res.oracle
src/plugins/e-acsl/tests/e-acsl-runtime/oracle/addrOf.res.oracle 0 additions, 2 deletions

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

...ins/e-acsl/tests/e-acsl-runtime/oracle/alias.1.res.oracle
src/plugins/e-acsl/tests/e-acsl-runtime/oracle/alias.res.oracle 0 additions, 2 deletions

...ugins/e-acsl/tests/e-acsl-runtime/oracle/alias.res.oracle
src/plugins/e-acsl/tests/e-acsl-runtime/oracle/arith.1.res.oracle 0 additions, 5 deletions

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

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

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

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

...s/e-acsl/tests/e-acsl-runtime/oracle/bts1304.1.res.oracle
src/plugins/e-acsl/tests/e-acsl-runtime/oracle/bts1304.res.oracle 0 additions, 2 deletions

...ins/e-acsl/tests/e-acsl-runtime/oracle/bts1304.res.oracle
src/plugins/e-acsl/tests/e-acsl-runtime/oracle/bts1307.1.res.oracle 0 additions, 7 deletions

...s/e-acsl/tests/e-acsl-runtime/oracle/bts1307.1.res.oracle
src/plugins/e-acsl/tests/e-acsl-runtime/oracle/bts1307.res.oracle 0 additions, 4 deletions

...ins/e-acsl/tests/e-acsl-runtime/oracle/bts1307.res.oracle
src/plugins/e-acsl/tests/e-acsl-runtime/oracle/bts1324.1.res.oracle 0 additions, 3 deletions

...s/e-acsl/tests/e-acsl-runtime/oracle/bts1324.1.res.oracle
src/plugins/e-acsl/tests/e-acsl-runtime/oracle/bts1324.res.oracle 0 additions, 2 deletions

...ins/e-acsl/tests/e-acsl-runtime/oracle/bts1324.res.oracle
src/plugins/e-acsl/tests/e-acsl-runtime/oracle/bts1326.1.res.oracle 0 additions, 3 deletions

...s/e-acsl/tests/e-acsl-runtime/oracle/bts1326.1.res.oracle
src/plugins/e-acsl/tests/e-acsl-runtime/oracle/bts1326.res.oracle 0 additions, 2 deletions

...ins/e-acsl/tests/e-acsl-runtime/oracle/bts1326.res.oracle
src/plugins/e-acsl/tests/e-acsl-runtime/oracle/bts1390.1.res.oracle 0 additions, 3 deletions

...s/e-acsl/tests/e-acsl-runtime/oracle/bts1390.1.res.oracle
src/plugins/e-acsl/tests/e-acsl-runtime/oracle/bts1390.res.oracle 0 additions, 6 deletions

...ins/e-acsl/tests/e-acsl-runtime/oracle/bts1390.res.oracle
src/plugins/e-acsl/tests/e-acsl-runtime/oracle/bts1399.1.res.oracle 0 additions, 4 deletions

...s/e-acsl/tests/e-acsl-runtime/oracle/bts1399.1.res.oracle
src/plugins/e-acsl/tests/e-acsl-runtime/oracle/bts1399.res.oracle 0 additions, 7 deletions

...ins/e-acsl/tests/e-acsl-runtime/oracle/bts1399.res.oracle

with 0 additions and 68 deletions

Please register or to comment