[alias] more compact pretty printing
Showing
- src/plugins/alias/abstract_state.ml 65 additions, 52 deletionssrc/plugins/alias/abstract_state.ml
- src/plugins/alias/abstract_state.mli 1 addition, 1 deletionsrc/plugins/alias/abstract_state.mli
- src/plugins/alias/analysis.ml 16 additions, 16 deletionssrc/plugins/alias/analysis.ml
- src/plugins/alias/simplified.ml 3 additions, 3 deletionssrc/plugins/alias/simplified.ml
- src/plugins/alias/tests/basic/oracle/addrof.res.oracle 8 additions, 18 deletionssrc/plugins/alias/tests/basic/oracle/addrof.res.oracle
- src/plugins/alias/tests/basic/oracle/assignment1.res.oracle 9 additions, 18 deletionssrc/plugins/alias/tests/basic/oracle/assignment1.res.oracle
- src/plugins/alias/tests/basic/oracle/assignment2.res.oracle 9 additions, 22 deletionssrc/plugins/alias/tests/basic/oracle/assignment2.res.oracle
- src/plugins/alias/tests/basic/oracle/assignment3.res.oracle 7 additions, 14 deletionssrc/plugins/alias/tests/basic/oracle/assignment3.res.oracle
- src/plugins/alias/tests/basic/oracle/assignment4.res.oracle 9 additions, 22 deletionssrc/plugins/alias/tests/basic/oracle/assignment4.res.oracle
- src/plugins/alias/tests/basic/oracle/assignment5.res.oracle 9 additions, 22 deletionssrc/plugins/alias/tests/basic/oracle/assignment5.res.oracle
- src/plugins/alias/tests/basic/oracle/cast1.res.oracle 8 additions, 19 deletionssrc/plugins/alias/tests/basic/oracle/cast1.res.oracle
- src/plugins/alias/tests/basic/oracle/conditional1.res.oracle 8 additions, 16 deletionssrc/plugins/alias/tests/basic/oracle/conditional1.res.oracle
- src/plugins/alias/tests/basic/oracle/conditional2.res.oracle 10 additions, 23 deletionssrc/plugins/alias/tests/basic/oracle/conditional2.res.oracle
- src/plugins/alias/tests/basic/oracle/conditional3.res.oracle 22 additions, 42 deletionssrc/plugins/alias/tests/basic/oracle/conditional3.res.oracle
- src/plugins/alias/tests/basic/oracle/function1.res.oracle 15 additions, 33 deletionssrc/plugins/alias/tests/basic/oracle/function1.res.oracle
- src/plugins/alias/tests/basic/oracle/function2.res.oracle 67 additions, 133 deletionssrc/plugins/alias/tests/basic/oracle/function2.res.oracle
- src/plugins/alias/tests/basic/oracle/function3.res.oracle 13 additions, 29 deletionssrc/plugins/alias/tests/basic/oracle/function3.res.oracle
- src/plugins/alias/tests/basic/oracle/function4.res.oracle 8 additions, 16 deletionssrc/plugins/alias/tests/basic/oracle/function4.res.oracle
- src/plugins/alias/tests/basic/oracle/function5.res.oracle 10 additions, 20 deletionssrc/plugins/alias/tests/basic/oracle/function5.res.oracle
- src/plugins/alias/tests/basic/oracle/globctr.res.oracle 9 additions, 18 deletionssrc/plugins/alias/tests/basic/oracle/globctr.res.oracle
Loading
Please register or sign in to comment