synchronize with frama-c!1539 (36a34525) · Commits · pub / frama-c

Commit 36a34525 authored 7 years ago by Andre Maroneze

Browse files

synchronize with frama-c!1539

parent ce681e6f

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/bts/oracle/bts1307.res.oracle 1 addition, 1 deletion

src/plugins/e-acsl/tests/bts/oracle/bts1307.res.oracle
src/plugins/e-acsl/tests/bts/oracle/bts1395.res.oracle 6 additions, 6 deletions

src/plugins/e-acsl/tests/bts/oracle/bts1395.res.oracle
src/plugins/e-acsl/tests/bts/oracle/bts1740.res.oracle 1 addition, 1 deletion

src/plugins/e-acsl/tests/bts/oracle/bts1740.res.oracle
src/plugins/e-acsl/tests/bts/oracle/bts2192.res.oracle 2 additions, 2 deletions

src/plugins/e-acsl/tests/bts/oracle/bts2192.res.oracle
src/plugins/e-acsl/tests/gmp/oracle/cast.0.res.oracle 1 addition, 1 deletion

src/plugins/e-acsl/tests/gmp/oracle/cast.0.res.oracle
src/plugins/e-acsl/tests/gmp/oracle/cast.1.res.oracle 1 addition, 1 deletion

src/plugins/e-acsl/tests/gmp/oracle/cast.1.res.oracle
src/plugins/e-acsl/tests/gmp/oracle/longlong.0.res.oracle 4 additions, 4 deletions

src/plugins/e-acsl/tests/gmp/oracle/longlong.0.res.oracle
src/plugins/e-acsl/tests/gmp/oracle/longlong.1.res.oracle 4 additions, 4 deletions

src/plugins/e-acsl/tests/gmp/oracle/longlong.1.res.oracle
src/plugins/e-acsl/tests/no-main/oracle/empty.res.oracle 3 additions, 3 deletions

src/plugins/e-acsl/tests/no-main/oracle/empty.res.oracle
src/plugins/e-acsl/tests/reject/oracle/quantif.res.oracle 23 additions, 23 deletions

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

...ugins/e-acsl/tests/runtime/oracle/ctype_macros.res.oracle
src/plugins/e-acsl/tests/runtime/oracle/early_exit.res.oracle 10 additions, 10 deletions

...plugins/e-acsl/tests/runtime/oracle/early_exit.res.oracle
src/plugins/e-acsl/tests/runtime/oracle/hidden_malloc.res.oracle 1 addition, 1 deletion

...gins/e-acsl/tests/runtime/oracle/hidden_malloc.res.oracle
src/plugins/e-acsl/tests/runtime/oracle/local_goto.res.oracle 9 additions, 9 deletions

...plugins/e-acsl/tests/runtime/oracle/local_goto.res.oracle
src/plugins/e-acsl/tests/runtime/oracle/loop.res.oracle 1 addition, 1 deletion

src/plugins/e-acsl/tests/runtime/oracle/loop.res.oracle
src/plugins/e-acsl/tests/runtime/oracle/mainargs.res.oracle 6 additions, 6 deletions

src/plugins/e-acsl/tests/runtime/oracle/mainargs.res.oracle
src/plugins/e-acsl/tests/runtime/oracle/valid.res.oracle 1 addition, 1 deletion

src/plugins/e-acsl/tests/runtime/oracle/valid.res.oracle
src/plugins/e-acsl/tests/runtime/oracle/valid_alias.res.oracle 2 additions, 2 deletions

...lugins/e-acsl/tests/runtime/oracle/valid_alias.res.oracle
src/plugins/e-acsl/tests/temporal/oracle/t_getenv.res.oracle 3 additions, 3 deletions

src/plugins/e-acsl/tests/temporal/oracle/t_getenv.res.oracle
src/plugins/e-acsl/tests/temporal/oracle/t_malloc-asan.res.oracle 3 additions, 3 deletions

...ins/e-acsl/tests/temporal/oracle/t_malloc-asan.res.oracle

with 85 additions and 85 deletions

Please register or to comment