update according to pretty-printer's changes (ecfe58ee) · Commits · pub / frama-c

Commit ecfe58ee authored 12 years ago by Julien Signoles

Browse files

update according to pretty-printer's changes

parent 8bb14252

No related branches found

No related tags found

Hide whitespace changes

Inline Side-by-side

Showing

src/plugins/e-acsl/tests/e-acsl-runtime/oracle/gen_addrOf.c 1 addition, 1 deletion

src/plugins/e-acsl/tests/e-acsl-runtime/oracle/gen_addrOf.c
src/plugins/e-acsl/tests/e-acsl-runtime/oracle/gen_addrOf2.c 1 addition, 1 deletion

src/plugins/e-acsl/tests/e-acsl-runtime/oracle/gen_addrOf2.c
src/plugins/e-acsl/tests/e-acsl-runtime/oracle/gen_arith.c 1 addition, 1 deletion

src/plugins/e-acsl/tests/e-acsl-runtime/oracle/gen_arith.c
src/plugins/e-acsl/tests/e-acsl-runtime/oracle/gen_arith2.c 1 addition, 19 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 11 additions, 7 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 11 additions, 9 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 41 additions, 42 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 74 additions, 87 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 1 addition, 2 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 1 addition, 2 deletions

...plugins/e-acsl/tests/e-acsl-runtime/oracle/gen_bts13042.c
src/plugins/e-acsl/tests/e-acsl-runtime/oracle/gen_bts1307.c 9 additions, 14 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 7 additions, 11 deletions

...plugins/e-acsl/tests/e-acsl-runtime/oracle/gen_bts13072.c
src/plugins/e-acsl/tests/e-acsl-runtime/oracle/gen_bts1324.c 21 additions, 20 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 30 additions, 34 deletions

...plugins/e-acsl/tests/e-acsl-runtime/oracle/gen_bts13242.c
src/plugins/e-acsl/tests/e-acsl-runtime/oracle/gen_cast.c 1 addition, 1 deletion

src/plugins/e-acsl/tests/e-acsl-runtime/oracle/gen_cast.c
src/plugins/e-acsl/tests/e-acsl-runtime/oracle/gen_cast2.c 1 addition, 7 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 1 addition, 1 deletion

...ugins/e-acsl/tests/e-acsl-runtime/oracle/gen_comparison.c
src/plugins/e-acsl/tests/e-acsl-runtime/oracle/gen_comparison2.c 1 addition, 17 deletions

...gins/e-acsl/tests/e-acsl-runtime/oracle/gen_comparison2.c
src/plugins/e-acsl/tests/e-acsl-runtime/oracle/gen_false.c 2 additions, 3 deletions

src/plugins/e-acsl/tests/e-acsl-runtime/oracle/gen_false.c
src/plugins/e-acsl/tests/e-acsl-runtime/oracle/gen_false2.c 2 additions, 3 deletions

src/plugins/e-acsl/tests/e-acsl-runtime/oracle/gen_false2.c

with 218 additions and 282 deletions

Please register or to comment