[E-ACSL] update according to kernel's printer changes (bba18f6e) · Commits · pub / frama-c

Commit bba18f6e authored 12 years ago by Julien Signoles

Browse files

[E-ACSL] update according to kernel's printer changes

parent bf19e6ff

No related branches found

No related tags found

Hide whitespace changes

Inline Side-by-side

Showing

src/plugins/e-acsl/tests/e-acsl-reject/oracle/quantif.res.oracle 12 additions, 11 deletions

...gins/e-acsl/tests/e-acsl-reject/oracle/quantif.res.oracle
src/plugins/e-acsl/tests/e-acsl-runtime/oracle/empty.1.res.oracle 3 additions, 3 deletions

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

...ugins/e-acsl/tests/e-acsl-runtime/oracle/empty.res.oracle
src/plugins/e-acsl/tests/e-acsl-runtime/oracle/gen_addrOf.c 3 additions, 3 deletions

src/plugins/e-acsl/tests/e-acsl-runtime/oracle/gen_addrOf.c
src/plugins/e-acsl/tests/e-acsl-runtime/oracle/gen_addrOf2.c 3 additions, 3 deletions

src/plugins/e-acsl/tests/e-acsl-runtime/oracle/gen_addrOf2.c
src/plugins/e-acsl/tests/e-acsl-runtime/oracle/gen_arith.c 3 additions, 3 deletions

src/plugins/e-acsl/tests/e-acsl-runtime/oracle/gen_arith.c
src/plugins/e-acsl/tests/e-acsl-runtime/oracle/gen_arith2.c 18 additions, 33 deletions

src/plugins/e-acsl/tests/e-acsl-runtime/oracle/gen_arith2.c
src/plugins/e-acsl/tests/e-acsl-runtime/oracle/gen_array.c 3 additions, 3 deletions

src/plugins/e-acsl/tests/e-acsl-runtime/oracle/gen_array.c
src/plugins/e-acsl/tests/e-acsl-runtime/oracle/gen_array2.c 7 additions, 10 deletions

src/plugins/e-acsl/tests/e-acsl-runtime/oracle/gen_array2.c
src/plugins/e-acsl/tests/e-acsl-runtime/oracle/gen_at.c 8 additions, 8 deletions

src/plugins/e-acsl/tests/e-acsl-runtime/oracle/gen_at.c
src/plugins/e-acsl/tests/e-acsl-runtime/oracle/gen_at2.c 17 additions, 25 deletions

src/plugins/e-acsl/tests/e-acsl-runtime/oracle/gen_at2.c
src/plugins/e-acsl/tests/e-acsl-runtime/oracle/gen_bts1304.c 10 additions, 11 deletions

src/plugins/e-acsl/tests/e-acsl-runtime/oracle/gen_bts1304.c
src/plugins/e-acsl/tests/e-acsl-runtime/oracle/gen_bts13042.c 10 additions, 11 deletions

...plugins/e-acsl/tests/e-acsl-runtime/oracle/gen_bts13042.c
src/plugins/e-acsl/tests/e-acsl-runtime/oracle/gen_bts1307.c 24 additions, 24 deletions

src/plugins/e-acsl/tests/e-acsl-runtime/oracle/gen_bts1307.c
src/plugins/e-acsl/tests/e-acsl-runtime/oracle/gen_bts13072.c 34 additions, 42 deletions

...plugins/e-acsl/tests/e-acsl-runtime/oracle/gen_bts13072.c
src/plugins/e-acsl/tests/e-acsl-runtime/oracle/gen_bts1324.c 12 additions, 14 deletions

src/plugins/e-acsl/tests/e-acsl-runtime/oracle/gen_bts1324.c
src/plugins/e-acsl/tests/e-acsl-runtime/oracle/gen_bts13242.c 18 additions, 28 deletions

...plugins/e-acsl/tests/e-acsl-runtime/oracle/gen_bts13242.c
src/plugins/e-acsl/tests/e-acsl-runtime/oracle/gen_cast.c 3 additions, 3 deletions

src/plugins/e-acsl/tests/e-acsl-runtime/oracle/gen_cast.c
src/plugins/e-acsl/tests/e-acsl-runtime/oracle/gen_cast2.c 12 additions, 21 deletions

src/plugins/e-acsl/tests/e-acsl-runtime/oracle/gen_cast2.c
src/plugins/e-acsl/tests/e-acsl-runtime/oracle/gen_comparison.c 6 additions, 6 deletions

...ugins/e-acsl/tests/e-acsl-runtime/oracle/gen_comparison.c

with 209 additions and 265 deletions

Please register or to comment