Robustify WP tests
Showing
- tests/bugs/oracle/issue11.res.oracle 1 addition, 1 deletiontests/bugs/oracle/issue11.res.oracle
- tests/bugs/oracle/issue23.res.oracle 1 addition, 1 deletiontests/bugs/oracle/issue23.res.oracle
- tests/bugs/oracle/issue24.res.oracle 3 additions, 3 deletionstests/bugs/oracle/issue24.res.oracle
- tests/bugs/oracle/logiccast.res.oracle 1 addition, 1 deletiontests/bugs/oracle/logiccast.res.oracle
- tests/bugs/oracle/term.res.oracle 2 additions, 2 deletionstests/bugs/oracle/term.res.oracle
- tests/specs/oracle/wp_empty_struct.res.oracle 1 addition, 1 deletiontests/specs/oracle/wp_empty_struct.res.oracle
- tests/test_config 1 addition, 1 deletiontests/test_config
Please register or sign in to comment