Merge branch 'bugfix/value-builtins-alarms-on-warnings' into 'master'
[tests] sync frama-c changes Update oracles modified by frama-c/frama-c!879 See merge request !54
Showing
- src/plugins/e-acsl/tests/bts/oracle/bts1390.res.oracle 1 addition, 1 deletionsrc/plugins/e-acsl/tests/bts/oracle/bts1390.res.oracle
- src/plugins/e-acsl/tests/bts/oracle/bts1837.res.oracle 1 addition, 1 deletionsrc/plugins/e-acsl/tests/bts/oracle/bts1837.res.oracle
- src/plugins/e-acsl/tests/e-acsl-runtime/oracle/freeable.res.oracle 1 addition, 1 deletion...ns/e-acsl/tests/e-acsl-runtime/oracle/freeable.res.oracle
- src/plugins/e-acsl/tests/e-acsl-runtime/oracle/initialized.res.oracle 4 additions, 4 deletions...e-acsl/tests/e-acsl-runtime/oracle/initialized.res.oracle
- src/plugins/e-acsl/tests/e-acsl-runtime/oracle/loop.res.oracle 2 additions, 2 deletions...lugins/e-acsl/tests/e-acsl-runtime/oracle/loop.res.oracle
- src/plugins/e-acsl/tests/e-acsl-runtime/oracle/mainargs.res.oracle 2 additions, 2 deletions...ns/e-acsl/tests/e-acsl-runtime/oracle/mainargs.res.oracle
- src/plugins/e-acsl/tests/e-acsl-runtime/oracle/valid.res.oracle 2 additions, 2 deletions...ugins/e-acsl/tests/e-acsl-runtime/oracle/valid.res.oracle
- src/plugins/e-acsl/tests/e-acsl-runtime/oracle/valid_alias.res.oracle 4 additions, 4 deletions...e-acsl/tests/e-acsl-runtime/oracle/valid_alias.res.oracle
- src/plugins/e-acsl/tests/e-acsl-runtime/oracle/valid_in_contract.res.oracle 1 addition, 1 deletion.../tests/e-acsl-runtime/oracle/valid_in_contract.res.oracle
- src/plugins/e-acsl/tests/e-acsl-runtime/oracle/vector.res.oracle 1 addition, 1 deletion...gins/e-acsl/tests/e-acsl-runtime/oracle/vector.res.oracle
- src/plugins/e-acsl/tests/gmp/oracle/longlong.0.res.oracle 4 additions, 4 deletionssrc/plugins/e-acsl/tests/gmp/oracle/longlong.0.res.oracle
- src/plugins/e-acsl/tests/gmp/oracle/longlong.1.res.oracle 4 additions, 4 deletionssrc/plugins/e-acsl/tests/gmp/oracle/longlong.1.res.oracle
Loading
Please register or sign in to comment