Skip to content
Snippets Groups Projects
Commit 5d1344de authored by Allan Blanchard's avatar Allan Blanchard
Browse files

[wp] Do not use tip for some tests

parent c4c96fed
No related branches found
No related tags found
No related merge requests found
/* run.config
OPT: -wp-par 1 -wp-no-print -wp-prover qed,tip -wp-msg-key script -wp-session @PTEST_DIR@/@PTEST_NAME@.@PTEST_NUMBER@.session
OPT: -wp-par 1 -wp-no-print -wp-prover qed,script -wp-msg-key script -wp-session @PTEST_DIR@/@PTEST_NAME@.@PTEST_NUMBER@.session
*/
/* run.config_qualif
DONTRUN:
......
/* run.config
OPT: -wp-par 1 -wp-prop X -wp-no-print -wp-prover qed,tip -wp-msg-key script -wp-session @PTEST_DIR@/@PTEST_NAME@.@PTEST_NUMBER@.session
OPT: -wp-par 1 -wp-prop X -wp-no-print -wp-prover qed,script -wp-msg-key script -wp-session @PTEST_DIR@/@PTEST_NAME@.@PTEST_NUMBER@.session
*/
/* run.config_qualif
DONTRUN:
......
/* run.config
OPT: -wp-par 1 -wp-no-print -wp-prover qed,tip -wp-msg-key script -wp-session @PTEST_DIR@/@PTEST_NAME@.@PTEST_NUMBER@.session
OPT: -wp-par 1 -wp-no-print -wp-prover qed,script -wp-msg-key script -wp-session @PTEST_DIR@/@PTEST_NAME@.@PTEST_NUMBER@.session
OPT: -wp-par 1 -wp-no-print -wp-prover qed,tip -wp-msg-key script -wp-session @PTEST_DIR@/@PTEST_NAME@.@PTEST_NUMBER@.session
OPT: -wp-par 1 -wp-no-print -wp-prover qed,script -wp-msg-key script -wp-session @PTEST_DIR@/@PTEST_NAME@.@PTEST_NUMBER@.session
*/
/* run.config_qualif
DONTRUN:
......
......@@ -145,4 +145,3 @@
------------------------------------------------------------
[wp] [Script] Goal typed_clear_ensures : Unsuccess
[wp] Proved goals: 0 / 2
[wp] No updated script.
......@@ -117,4 +117,3 @@
------------------------------------------------------------
[wp] Proved goals: 1 / 2
Qed: 1
[wp] No updated script.
......@@ -60,4 +60,3 @@
[wp] Proved goals: 2 / 2
Qed: 0
Script: 2
[wp] Updated session with 2 new valid scripts.
......@@ -60,4 +60,3 @@
[wp] Proved goals: 2 / 2
Qed: 0
Script: 2
[wp] Updated session with 2 new valid scripts.
......@@ -704,4 +704,3 @@
------------------------------------------------------------
[wp] [Script] Goal typed_test_goal_ex_imply_ensures : Unsuccess
[wp] Proved goals: 0 / 23
[wp] No updated script.
/* run.config
OPT: -wp-par 1 -wp-no-print -wp-prover qed,tip -wp-msg-key script -wp-session @PTEST_DIR@/@PTEST_NAME@.@PTEST_NUMBER@.session
OPT: -wp-par 1 -wp-no-print -wp-prover qed,script -wp-msg-key script -wp-session @PTEST_DIR@/@PTEST_NAME@.@PTEST_NUMBER@.session
*/
/* run.config_qualif
DONTRUN:
......
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment