Update oracles to trunk (Value 2); keep Value 1 for recursive call
Showing
- src/plugins/e-acsl/tests/e-acsl-runtime/longlong.i 1 addition, 1 deletionsrc/plugins/e-acsl/tests/e-acsl-runtime/longlong.i
- src/plugins/e-acsl/tests/e-acsl-runtime/oracle/freeable.0.res.oracle 1 addition, 2 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 1 addition, 2 deletions.../e-acsl/tests/e-acsl-runtime/oracle/freeable.1.res.oracle
- src/plugins/e-acsl/tests/e-acsl-runtime/oracle/linear_search.0.res.oracle 1 addition, 1 deletion...sl/tests/e-acsl-runtime/oracle/linear_search.0.res.oracle
- src/plugins/e-acsl/tests/e-acsl-runtime/oracle/linear_search.1.res.oracle 7 additions, 7 deletions...sl/tests/e-acsl-runtime/oracle/linear_search.1.res.oracle
- src/plugins/e-acsl/tests/e-acsl-runtime/oracle/longlong.0.res.oracle 1 addition, 3 deletions.../e-acsl/tests/e-acsl-runtime/oracle/longlong.0.res.oracle
- src/plugins/e-acsl/tests/e-acsl-runtime/oracle/longlong.1.res.oracle 1 addition, 3 deletions.../e-acsl/tests/e-acsl-runtime/oracle/longlong.1.res.oracle
- src/plugins/e-acsl/tests/e-acsl-runtime/oracle/loop.0.res.oracle 1 addition, 6 deletions...gins/e-acsl/tests/e-acsl-runtime/oracle/loop.0.res.oracle
- src/plugins/e-acsl/tests/e-acsl-runtime/oracle/loop.1.res.oracle 7 additions, 17 deletions...gins/e-acsl/tests/e-acsl-runtime/oracle/loop.1.res.oracle
- src/plugins/e-acsl/tests/e-acsl-runtime/oracle/ptr.1.res.oracle 2 additions, 2 deletions...ugins/e-acsl/tests/e-acsl-runtime/oracle/ptr.1.res.oracle
- src/plugins/e-acsl/tests/e-acsl-runtime/oracle/valid.0.res.oracle 2 additions, 3 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 2 additions, 3 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 4 additions, 6 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 4 additions, 6 deletions...acsl/tests/e-acsl-runtime/oracle/valid_alias.1.res.oracle
- src/plugins/e-acsl/tests/e-acsl-runtime/oracle/valid_in_contract.0.res.oracle 1 addition, 1 deletion...ests/e-acsl-runtime/oracle/valid_in_contract.0.res.oracle
- src/plugins/e-acsl/tests/e-acsl-runtime/oracle/valid_in_contract.1.res.oracle 1 addition, 1 deletion...ests/e-acsl-runtime/oracle/valid_in_contract.1.res.oracle
- src/plugins/e-acsl/tests/e-acsl-runtime/oracle/vector.0.res.oracle 1 addition, 1 deletion...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 1 addition, 1 deletion...ns/e-acsl/tests/e-acsl-runtime/oracle/vector.1.res.oracle
Loading
Please register or sign in to comment