[tests] update according to libc changes (7556ef08) · Commits · pub / frama-c

Commit 7556ef08 authored 10 years ago by Julien Signoles

Browse files

[tests] update according to libc changes

parent e3dfc90e

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

...ugins/e-acsl/tests/e-acsl-runtime/oracle/empty.res.oracle
src/plugins/e-acsl/tests/e-acsl-runtime/oracle/gen_addrOf.c 2 additions, 2 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 2 additions, 2 deletions

src/plugins/e-acsl/tests/e-acsl-runtime/oracle/gen_addrOf2.c
src/plugins/e-acsl/tests/e-acsl-runtime/oracle/gen_alias.c 2 additions, 2 deletions

src/plugins/e-acsl/tests/e-acsl-runtime/oracle/gen_alias.c
src/plugins/e-acsl/tests/e-acsl-runtime/oracle/gen_alias2.c 2 additions, 2 deletions

src/plugins/e-acsl/tests/e-acsl-runtime/oracle/gen_alias2.c
src/plugins/e-acsl/tests/e-acsl-runtime/oracle/gen_arith.c 2 additions, 2 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 2 additions, 2 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 2 additions, 2 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 2 additions, 2 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 2 additions, 2 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 2 additions, 2 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 2 additions, 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 2 additions, 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 2 additions, 2 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 2 additions, 2 deletions

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

...plugins/e-acsl/tests/e-acsl-runtime/oracle/gen_bts13242.c
src/plugins/e-acsl/tests/e-acsl-runtime/oracle/gen_bts1326.c 2 additions, 2 deletions

src/plugins/e-acsl/tests/e-acsl-runtime/oracle/gen_bts1326.c
src/plugins/e-acsl/tests/e-acsl-runtime/oracle/gen_bts13262.c 2 additions, 2 deletions

...plugins/e-acsl/tests/e-acsl-runtime/oracle/gen_bts13262.c

with 40 additions and 40 deletions

Please register or to comment