[alias] oracles
Showing
- src/plugins/alias/analysis.ml 1 addition, 1 deletionsrc/plugins/alias/analysis.ml
- src/plugins/alias/tests/basic/oracle/assignment1.err.oracle 0 additions, 0 deletionssrc/plugins/alias/tests/basic/oracle/assignment1.err.oracle
- src/plugins/alias/tests/basic/oracle/assignment1.res.oracle 1 addition, 1 deletionsrc/plugins/alias/tests/basic/oracle/assignment1.res.oracle
- src/plugins/alias/tests/basic/oracle/assignment2.err.oracle 0 additions, 0 deletionssrc/plugins/alias/tests/basic/oracle/assignment2.err.oracle
- src/plugins/alias/tests/basic/oracle/assignment2.res.oracle 1 addition, 1 deletionsrc/plugins/alias/tests/basic/oracle/assignment2.res.oracle
- src/plugins/alias/tests/basic/oracle/assignment3.err.oracle 0 additions, 0 deletionssrc/plugins/alias/tests/basic/oracle/assignment3.err.oracle
- src/plugins/alias/tests/basic/oracle/assignment3.res.oracle 1 addition, 1 deletionsrc/plugins/alias/tests/basic/oracle/assignment3.res.oracle
- src/plugins/alias/tests/basic/oracle/conditional1.res.oracle 28 additions, 0 deletionssrc/plugins/alias/tests/basic/oracle/conditional1.res.oracle
- src/plugins/alias/tests/real_world/oracle/example1.res.oracle 1 addition, 1 deletion...plugins/alias/tests/real_world/oracle/example1.res.oracle
Loading
Please register or sign in to comment