[WP] Prop name prettier in case of multiple call to the same function
instead of caller_call_callee_requires_foo_2 we have caller_call_callee_2_requires_foo .
Showing
- src/plugins/wp/tests/wp/oracle_qualif/wp_call_pre.res.oracle 1 addition, 1 deletionsrc/plugins/wp/tests/wp/oracle_qualif/wp_call_pre.res.oracle
- src/plugins/wp/tests/wp_bts/oracle_qualif/nupw-bcl-bts1120.res.oracle 1 addition, 1 deletion...wp/tests/wp_bts/oracle_qualif/nupw-bcl-bts1120.res.oracle
- src/plugins/wp/tests/wp_hoare/oracle_qualif/dispatch_var.res.oracle 1 addition, 1 deletion...s/wp/tests/wp_hoare/oracle_qualif/dispatch_var.res.oracle
- src/plugins/wp/tests/wp_plugin/oracle_qualif/injector.0.res.oracle 1 addition, 1 deletion...ns/wp/tests/wp_plugin/oracle_qualif/injector.0.res.oracle
- src/plugins/wp/tests/wp_typed/oracle_qualif/user_collect.res.oracle 3 additions, 3 deletions...s/wp/tests/wp_typed/oracle_qualif/user_collect.res.oracle
- src/plugins/wp/wpPropId.ml 25 additions, 5 deletionssrc/plugins/wp/wpPropId.ml
Loading
Please register or sign in to comment