TestProofScriptCommand
|
100%
successful |
Tests
| Test | Method name | Duration | Result |
|---|---|---|---|
| [1] andRight.props, D:\a\key\key\key.core\build\resources\test\de\uka\ilkd\key\macros\scripts\cases\andRight.props | testProofScript(String, Path)[1] | 3.372s | passed |
| [2] hide.exc.props, D:\a\key\key\key.core\build\resources\test\de\uka\ilkd\key\macros\scripts\cases\hide.exc.props | testProofScript(String, Path)[2] | 3.408s | passed |
| [3] hide.props, D:\a\key\key\key.core\build\resources\test\de\uka\ilkd\key\macros\scripts\cases\hide.props | testProofScript(String, Path)[3] | 3.519s | passed |
| [4] rule.exc.props, D:\a\key\key\key.core\build\resources\test\de\uka\ilkd\key\macros\scripts\cases\rule.exc.props | testProofScript(String, Path)[4] | 3.328s | passed |
| [5] selectFormula.props, D:\a\key\key\key.core\build\resources\test\de\uka\ilkd\key\macros\scripts\cases\selectFormula.props | testProofScript(String, Path)[5] | 3.486s | passed |
| [6] unhide.props, D:\a\key\key\key.core\build\resources\test\de\uka\ilkd\key\macros\scripts\cases\unhide.props | testProofScript(String, Path)[6] | 3.473s | passed |
| [7] unhide2.props, D:\a\key\key\key.core\build\resources\test\de\uka\ilkd\key\macros\scripts\cases\unhide2.props | testProofScript(String, Path)[7] | 3.437s | passed |
Standard output
199072 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\proofscript_key_andRight.props251833185765037733.key 199072 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 2.14ms 199072 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 202402 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.32s 202433 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_andRight.props251833185765037733.key 202433 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.2ns 202433 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 1: 'rule andRight' on goal 0 (script from line 1) 202449 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\proofscript_key_hide.exc.props2685545198826944519.key 202449 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 179ns 202449 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 205810 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.36s 205841 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_hide.exc.props2685545198826944519.key 205841 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8ns 205841 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 1: 'macro split-prop' on goal 0 (script from line 1) 205857 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 2: 'hide "b ==>"' on goal 1 (script from line 2) 205857 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine GOALS: 1 205857 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine [a]==>[b] 205857 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\proofscript_key_hide.props12365829853887238956.key 205857 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 248.4ns 205857 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 209281 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.41s 209359 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_hide.props12365829853887238956.key 209359 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.8ns 209359 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 1: 'macro split-prop' on goal 0 (script from line 1) 209377 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 2: 'hide "a ==> d, e"' on goal 5 (script from line 2) 209377 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\proofscript_key_rule.exc.props16009078034528441109.key 209377 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 581.9ns 209391 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 212691 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.3s 212706 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_rule.exc.props16009078034528441109.key 212706 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.5ns 212706 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 1: 'rule andLeft' on goal 0 (script from line 1) 212706 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine GOALS: 1 212706 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine []==>[and(a,b)] 212722 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\proofscript_key_selectFormula.props15903951503377690417.key 212722 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 776ns 212722 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 216146 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.42s 216177 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_selectFormula.props15903951503377690417.key 216177 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.1ns 216177 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 1: 'macro split-prop' on goal 0 (script from line 1) 216193 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 2: 'select formula="b"' on goal 3 (script from line 2) 216193 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\proofscript_key_unhide.props10794071613512670417.key 216193 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 161.2ns 216210 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 219635 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.42s 219650 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_unhide.props10794071613512670417.key 219650 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.7ns 219650 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 1: 'rule impRight' on goal 0 (script from line 1) 219650 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 2: 'hide '2=3 ==> 3=4'' on goal 1 (script from line 2) 219650 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 3: 'unhide '2=3 ==>'' on goal 3 (script from line 3) 219650 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 4: 'unhide '==> 3=4'' on goal 4 (script from line 4) 219666 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\proofscript_key_unhide2.props13198241413598856589.key 219666 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 158.5ns 219666 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 222996 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.32s 223090 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_unhide2.props13198241413598856589.key 223090 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.8ns 223090 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 1: 'rule impRight' on goal 0 (script from line 1) 223105 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 2: 'hide '2=3 ==> 3=4'' on goal 1 (script from line 2) 223105 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 3: 'unhide '2=3 ==> 3=4'' on goal 3 (script from line 3)