[alias] update oracles
Showing
- 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.res.oracle 1 addition, 1 deletionsrc/plugins/alias/tests/basic/oracle/assignment2.res.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/test.res.oracle 0 additions, 5 deletionssrc/plugins/alias/tests/basic/oracle/test.res.oracle
- src/plugins/alias/tests/basic/test.i 0 additions, 0 deletionssrc/plugins/alias/tests/basic/test.i
- src/plugins/alias/tests/real_world/oracle/example1.res.oracle 1 addition, 1 deletion...plugins/alias/tests/real_world/oracle/example1.res.oracle
Please register or sign in to comment