[wp] Removed debug-keys, use shell
- removed no-time-info - removed no-step-info - removed no-goals-info - removed no-cache-info - removed success-only
Showing
- src/plugins/wp/VCS.ml 6 additions, 11 deletionssrc/plugins/wp/VCS.ml
- src/plugins/wp/VCS.mli 0 additions, 5 deletionssrc/plugins/wp/VCS.mli
- src/plugins/wp/register.ml 40 additions, 45 deletionssrc/plugins/wp/register.ml
- src/plugins/wp/tests/README.md 1 addition, 1 deletionsrc/plugins/wp/tests/README.md
- src/plugins/wp/tests/test_config_qualif 1 addition, 1 deletionsrc/plugins/wp/tests/test_config_qualif
- src/plugins/wp/tests/wp/stmtcompiler_test.i 1 addition, 1 deletionsrc/plugins/wp/tests/wp/stmtcompiler_test.i
- src/plugins/wp/tests/wp/stmtcompiler_test_rela.i 1 addition, 1 deletionsrc/plugins/wp/tests/wp/stmtcompiler_test_rela.i
- src/plugins/wp/tests/wp/wp_strategy.c 2 additions, 2 deletionssrc/plugins/wp/tests/wp/wp_strategy.c
- src/plugins/wp/tests/wp_acsl/boolean.i 1 addition, 1 deletionsrc/plugins/wp/tests/wp_acsl/boolean.i
- src/plugins/wp/tests/wp_acsl/oracle_qualif/cnf.res.oracle 1 addition, 1 deletionsrc/plugins/wp/tests/wp_acsl/oracle_qualif/cnf.res.oracle
- src/plugins/wp/tests/wp_gallery/oracle/frama_c_hashtbl_solved.res.oracle 0 additions, 1 deletion...tests/wp_gallery/oracle/frama_c_hashtbl_solved.res.oracle
- src/plugins/wp/tests/wp_gallery/oracle_qualif/frama_c_hashtbl_solved.res.oracle 0 additions, 1 deletion...p_gallery/oracle_qualif/frama_c_hashtbl_solved.res.oracle
- src/plugins/wp/tests/wp_manual/manual.i 3 additions, 3 deletionssrc/plugins/wp/tests/wp_manual/manual.i
- src/plugins/wp/tests/wp_plugin/oracle_qualif/removed.res.oracle 3 additions, 2 deletions...ugins/wp/tests/wp_plugin/oracle_qualif/removed.res.oracle
- src/plugins/wp/tests/wp_plugin/oracle_qualif/stmt.log 1 addition, 0 deletionssrc/plugins/wp/tests/wp_plugin/oracle_qualif/stmt.log
- src/plugins/wp/tests/wp_plugin/removed.i 1 addition, 1 deletionsrc/plugins/wp/tests/wp_plugin/removed.i
- src/plugins/wp/tests/wp_plugin/stmt.c 1 addition, 1 deletionsrc/plugins/wp/tests/wp_plugin/stmt.c
- src/plugins/wp/tests/wp_typed/oracle/user_init.0.res.oracle 0 additions, 1 deletionsrc/plugins/wp/tests/wp_typed/oracle/user_init.0.res.oracle
- src/plugins/wp/tests/wp_typed/oracle/user_init.1.res.oracle 0 additions, 1 deletionsrc/plugins/wp/tests/wp_typed/oracle/user_init.1.res.oracle
- src/plugins/wp/wpo.ml 1 addition, 1 deletionsrc/plugins/wp/wpo.ml
Loading
Please register or sign in to comment