[tests] update oracles according to libc changes
Showing
- src/plugins/e-acsl/tests/e-acsl-runtime/oracle/bts1399.0.res.oracle 10 additions, 10 deletions...s/e-acsl/tests/e-acsl-runtime/oracle/bts1399.0.res.oracle
- src/plugins/e-acsl/tests/e-acsl-runtime/oracle/bts1399.1.res.oracle 15 additions, 15 deletions...s/e-acsl/tests/e-acsl-runtime/oracle/bts1399.1.res.oracle
- src/plugins/e-acsl/tests/e-acsl-runtime/oracle/call.0.res.oracle 3 additions, 3 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 6 additions, 6 deletions...gins/e-acsl/tests/e-acsl-runtime/oracle/call.1.res.oracle
- src/plugins/e-acsl/tests/e-acsl-runtime/oracle/localvar.0.res.oracle 3 additions, 3 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 6 additions, 6 deletions.../e-acsl/tests/e-acsl-runtime/oracle/localvar.1.res.oracle
- src/plugins/e-acsl/tests/e-acsl-runtime/oracle/mainargs.0.res.oracle 7 additions, 7 deletions.../e-acsl/tests/e-acsl-runtime/oracle/mainargs.0.res.oracle
- src/plugins/e-acsl/tests/e-acsl-runtime/oracle/mainargs.1.res.oracle 5 additions, 5 deletions.../e-acsl/tests/e-acsl-runtime/oracle/mainargs.1.res.oracle
- src/plugins/e-acsl/tests/e-acsl-runtime/oracle/ptr_init.0.res.oracle 3 additions, 3 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 6 additions, 6 deletions.../e-acsl/tests/e-acsl-runtime/oracle/ptr_init.1.res.oracle
- src/plugins/e-acsl/tests/e-acsl-runtime/oracle/valid.0.res.oracle 10 additions, 10 deletions...ins/e-acsl/tests/e-acsl-runtime/oracle/valid.0.res.oracle
- src/plugins/e-acsl/tests/e-acsl-runtime/oracle/valid.1.res.oracle 15 additions, 15 deletions...ins/e-acsl/tests/e-acsl-runtime/oracle/valid.1.res.oracle
- src/plugins/e-acsl/tests/e-acsl-runtime/oracle/valid_alias.0.res.oracle 10 additions, 10 deletions...acsl/tests/e-acsl-runtime/oracle/valid_alias.0.res.oracle
- src/plugins/e-acsl/tests/e-acsl-runtime/oracle/valid_alias.1.res.oracle 15 additions, 15 deletions...acsl/tests/e-acsl-runtime/oracle/valid_alias.1.res.oracle
- src/plugins/e-acsl/tests/e-acsl-runtime/oracle/vector.0.res.oracle 10 additions, 10 deletions...ns/e-acsl/tests/e-acsl-runtime/oracle/vector.0.res.oracle
- src/plugins/e-acsl/tests/e-acsl-runtime/oracle/vector.1.res.oracle 15 additions, 15 deletions...ns/e-acsl/tests/e-acsl-runtime/oracle/vector.1.res.oracle
Loading
Please register or sign in to comment