[wp] -wp-unfold-assigns depth parameter
Showing
- src/libraries/utils/bag.mli 0 additions, 1 deletionsrc/libraries/utils/bag.mli
- src/plugins/wp/LogicSemantics.ml 28 additions, 37 deletionssrc/plugins/wp/LogicSemantics.ml
- src/plugins/wp/Sigs.ml 4 additions, 3 deletionssrc/plugins/wp/Sigs.ml
- src/plugins/wp/tests/wp_plugin/oracle/unfold_assigns.0.res.oracle 54 additions, 54 deletions...ins/wp/tests/wp_plugin/oracle/unfold_assigns.0.res.oracle
- src/plugins/wp/tests/wp_plugin/oracle/unfold_assigns.1.res.oracle 149 additions, 109 deletions...ins/wp/tests/wp_plugin/oracle/unfold_assigns.1.res.oracle
- src/plugins/wp/tests/wp_plugin/oracle/unfold_assigns.2.res.oracle 378 additions, 0 deletions...ins/wp/tests/wp_plugin/oracle/unfold_assigns.2.res.oracle
- src/plugins/wp/tests/wp_plugin/oracle/unfold_assigns.3.res.oracle 370 additions, 0 deletions...ins/wp/tests/wp_plugin/oracle/unfold_assigns.3.res.oracle
- src/plugins/wp/tests/wp_plugin/oracle_qualif/unfold_assigns.0.res.oracle 53 additions, 0 deletions...tests/wp_plugin/oracle_qualif/unfold_assigns.0.res.oracle
- src/plugins/wp/tests/wp_plugin/oracle_qualif/unfold_assigns.1.res.oracle 53 additions, 0 deletions...tests/wp_plugin/oracle_qualif/unfold_assigns.1.res.oracle
- src/plugins/wp/tests/wp_plugin/oracle_qualif/unfold_assigns.2.res.oracle 53 additions, 0 deletions...tests/wp_plugin/oracle_qualif/unfold_assigns.2.res.oracle
- src/plugins/wp/tests/wp_plugin/unfold_assigns.i 10 additions, 2 deletionssrc/plugins/wp/tests/wp_plugin/unfold_assigns.i
- src/plugins/wp/wp_parameters.ml 5 additions, 2 deletionssrc/plugins/wp/wp_parameters.ml
- src/plugins/wp/wp_parameters.mli 1 addition, 1 deletionsrc/plugins/wp/wp_parameters.mli
Loading
Please register or sign in to comment