[tests] update wrt libc changes
Showing
- src/plugins/e-acsl/tests/bts/oracle/bts1399.0.res.oracle 16 additions, 16 deletionssrc/plugins/e-acsl/tests/bts/oracle/bts1399.0.res.oracle
- src/plugins/e-acsl/tests/bts/oracle/bts1399.1.res.oracle 11 additions, 11 deletionssrc/plugins/e-acsl/tests/bts/oracle/bts1399.1.res.oracle
- src/plugins/e-acsl/tests/bts/oracle/gen_bts1399.c 1 addition, 1 deletionsrc/plugins/e-acsl/tests/bts/oracle/gen_bts1399.c
- src/plugins/e-acsl/tests/bts/oracle/gen_bts13992.c 1 addition, 1 deletionsrc/plugins/e-acsl/tests/bts/oracle/gen_bts13992.c
- src/plugins/e-acsl/tests/e-acsl-runtime/oracle/call.0.res.oracle 6 additions, 6 deletions...gins/e-acsl/tests/e-acsl-runtime/oracle/call.0.res.oracle
- src/plugins/e-acsl/tests/e-acsl-runtime/oracle/call.1.res.oracle 3 additions, 3 deletions...gins/e-acsl/tests/e-acsl-runtime/oracle/call.1.res.oracle
- src/plugins/e-acsl/tests/e-acsl-runtime/oracle/freeable.0.res.oracle 9 additions, 9 deletions.../e-acsl/tests/e-acsl-runtime/oracle/freeable.0.res.oracle
- src/plugins/e-acsl/tests/e-acsl-runtime/oracle/freeable.1.res.oracle 4 additions, 4 deletions.../e-acsl/tests/e-acsl-runtime/oracle/freeable.1.res.oracle
- src/plugins/e-acsl/tests/e-acsl-runtime/oracle/gen_freeable.c 1 addition, 1 deletion...plugins/e-acsl/tests/e-acsl-runtime/oracle/gen_freeable.c
- src/plugins/e-acsl/tests/e-acsl-runtime/oracle/gen_freeable2.c 1 addition, 1 deletion...lugins/e-acsl/tests/e-acsl-runtime/oracle/gen_freeable2.c
- src/plugins/e-acsl/tests/e-acsl-runtime/oracle/gen_valid.c 1 addition, 1 deletionsrc/plugins/e-acsl/tests/e-acsl-runtime/oracle/gen_valid.c
- src/plugins/e-acsl/tests/e-acsl-runtime/oracle/gen_valid2.c 1 addition, 1 deletionsrc/plugins/e-acsl/tests/e-acsl-runtime/oracle/gen_valid2.c
- src/plugins/e-acsl/tests/e-acsl-runtime/oracle/gen_valid_alias.c 1 addition, 1 deletion...gins/e-acsl/tests/e-acsl-runtime/oracle/gen_valid_alias.c
- src/plugins/e-acsl/tests/e-acsl-runtime/oracle/gen_valid_alias2.c 1 addition, 1 deletion...ins/e-acsl/tests/e-acsl-runtime/oracle/gen_valid_alias2.c
- src/plugins/e-acsl/tests/e-acsl-runtime/oracle/gen_vector.c 1 addition, 1 deletionsrc/plugins/e-acsl/tests/e-acsl-runtime/oracle/gen_vector.c
- src/plugins/e-acsl/tests/e-acsl-runtime/oracle/gen_vector2.c 1 addition, 1 deletionsrc/plugins/e-acsl/tests/e-acsl-runtime/oracle/gen_vector2.c
- src/plugins/e-acsl/tests/e-acsl-runtime/oracle/localvar.0.res.oracle 6 additions, 6 deletions.../e-acsl/tests/e-acsl-runtime/oracle/localvar.0.res.oracle
- src/plugins/e-acsl/tests/e-acsl-runtime/oracle/localvar.1.res.oracle 3 additions, 3 deletions.../e-acsl/tests/e-acsl-runtime/oracle/localvar.1.res.oracle
- src/plugins/e-acsl/tests/e-acsl-runtime/oracle/ptr_init.0.res.oracle 6 additions, 6 deletions.../e-acsl/tests/e-acsl-runtime/oracle/ptr_init.0.res.oracle
- src/plugins/e-acsl/tests/e-acsl-runtime/oracle/ptr_init.1.res.oracle 3 additions, 3 deletions.../e-acsl/tests/e-acsl-runtime/oracle/ptr_init.1.res.oracle
Loading
Please register or sign in to comment