[tests] cherry-picked simplifying test outputs
Showing
- src/plugins/e-acsl/tests/bts/oracle/bts1304.res.oracle 0 additions, 9 deletionssrc/plugins/e-acsl/tests/bts/oracle/bts1304.res.oracle
- src/plugins/e-acsl/tests/bts/oracle/bts1307.res.oracle 0 additions, 9 deletionssrc/plugins/e-acsl/tests/bts/oracle/bts1307.res.oracle
- src/plugins/e-acsl/tests/bts/oracle/bts1324.res.oracle 0 additions, 9 deletionssrc/plugins/e-acsl/tests/bts/oracle/bts1324.res.oracle
- src/plugins/e-acsl/tests/bts/oracle/bts1326.res.oracle 0 additions, 9 deletionssrc/plugins/e-acsl/tests/bts/oracle/bts1326.res.oracle
- src/plugins/e-acsl/tests/bts/oracle/bts1390.res.oracle 0 additions, 9 deletionssrc/plugins/e-acsl/tests/bts/oracle/bts1390.res.oracle
- src/plugins/e-acsl/tests/bts/oracle/bts1398.res.oracle 0 additions, 9 deletionssrc/plugins/e-acsl/tests/bts/oracle/bts1398.res.oracle
- src/plugins/e-acsl/tests/bts/oracle/bts1399.res.oracle 0 additions, 9 deletionssrc/plugins/e-acsl/tests/bts/oracle/bts1399.res.oracle
- src/plugins/e-acsl/tests/bts/oracle/bts1478.res.oracle 0 additions, 9 deletionssrc/plugins/e-acsl/tests/bts/oracle/bts1478.res.oracle
- src/plugins/e-acsl/tests/bts/oracle/bts1700.res.oracle 0 additions, 9 deletionssrc/plugins/e-acsl/tests/bts/oracle/bts1700.res.oracle
- src/plugins/e-acsl/tests/bts/oracle/bts1717.res.oracle 0 additions, 9 deletionssrc/plugins/e-acsl/tests/bts/oracle/bts1717.res.oracle
Loading
Please register or sign in to comment