[alias] code clean-up
Showing
- src/plugins/alias/analysis.ml 25 additions, 53 deletionssrc/plugins/alias/analysis.ml
- src/plugins/alias/tests/basic/oracle/assignment1.res.oracle 8 additions, 0 deletionssrc/plugins/alias/tests/basic/oracle/assignment1.res.oracle
- src/plugins/alias/tests/basic/oracle/assignment2.res.oracle 8 additions, 0 deletionssrc/plugins/alias/tests/basic/oracle/assignment2.res.oracle
- src/plugins/alias/tests/basic/oracle/assignment3.res.oracle 6 additions, 0 deletionssrc/plugins/alias/tests/basic/oracle/assignment3.res.oracle
- src/plugins/alias/tests/basic/oracle/assignment4.res.oracle 8 additions, 0 deletionssrc/plugins/alias/tests/basic/oracle/assignment4.res.oracle
- src/plugins/alias/tests/basic/oracle/cast1.res.oracle 7 additions, 0 deletionssrc/plugins/alias/tests/basic/oracle/cast1.res.oracle
- src/plugins/alias/tests/basic/oracle/conditional1.res.oracle 7 additions, 12 deletionssrc/plugins/alias/tests/basic/oracle/conditional1.res.oracle
- src/plugins/alias/tests/basic/oracle/conditional2.res.oracle 6 additions, 14 deletionssrc/plugins/alias/tests/basic/oracle/conditional2.res.oracle
- src/plugins/alias/tests/basic/oracle/function1.res.oracle 12 additions, 0 deletionssrc/plugins/alias/tests/basic/oracle/function1.res.oracle
- src/plugins/alias/tests/basic/oracle/function2.res.oracle 8 additions, 0 deletionssrc/plugins/alias/tests/basic/oracle/function2.res.oracle
- src/plugins/alias/tests/basic/oracle/function3.res.oracle 11 additions, 47 deletionssrc/plugins/alias/tests/basic/oracle/function3.res.oracle
- src/plugins/alias/tests/basic/oracle/function4.res.oracle 6 additions, 0 deletionssrc/plugins/alias/tests/basic/oracle/function4.res.oracle
- src/plugins/alias/tests/basic/oracle/function5.res.oracle 8 additions, 68 deletionssrc/plugins/alias/tests/basic/oracle/function5.res.oracle
- src/plugins/alias/tests/basic/oracle/switch1.res.oracle 10 additions, 44 deletionssrc/plugins/alias/tests/basic/oracle/switch1.res.oracle
- src/plugins/alias/tests/basic/oracle/switch2.res.oracle 11 additions, 58 deletionssrc/plugins/alias/tests/basic/oracle/switch2.res.oracle
- src/plugins/alias/tests/basic/oracle/while_for1.res.oracle 7 additions, 63 deletionssrc/plugins/alias/tests/basic/oracle/while_for1.res.oracle
- src/plugins/alias/tests/basic/oracle/while_for2.res.oracle 5 additions, 49 deletionssrc/plugins/alias/tests/basic/oracle/while_for2.res.oracle
- src/plugins/alias/tests/basic/oracle/while_for3.res.oracle 36 additions, 186 deletionssrc/plugins/alias/tests/basic/oracle/while_for3.res.oracle
- src/plugins/alias/tests/real_world/oracle/example1.res.oracle 198 additions, 917 deletions...plugins/alias/tests/real_world/oracle/example1.res.oracle
Loading
Please register or sign in to comment