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.570s | 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.346s | 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.271s | 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.171s | 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.332s | 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.399s | 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.144s | passed |
Standard output
199503 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\proofscript_key_andRight.props10730255883036040260.key 199503 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 524ns 199503 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 203002 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.49s 203048 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_andRight.props10730255883036040260.key 203048 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.9ns 203048 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 1: 'rule andRight' 203064 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\proofscript_key_hide.exc.props227350441286139221.key 203064 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 193.3ns 203064 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 206379 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.31s 206394 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_hide.exc.props227350441286139221.key 206394 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.9ns 206410 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 1: 'macro split-prop' 206410 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 2: 'hide "b ==>"' 206410 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine GOALS: 1 206410 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine [a]==>[b] 206410 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\proofscript_key_hide.props275395301606573426.key 206410 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 203ns 206425 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 209635 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.22s 209651 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_hide.props275395301606573426.key 209666 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.1ns 209666 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 1: 'macro split-prop' 209682 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 2: 'hide "a ==> d, e"' 209682 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\proofscript_key_rule.exc.props13120110628333403042.key 209682 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 461.3ns 209682 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 212840 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.15s 212855 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_rule.exc.props13120110628333403042.key 212855 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.9ns 212855 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 1: 'rule andLeft' 212855 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine GOALS: 1 212855 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine []==>[and(a,b)] 212871 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\proofscript_key_selectFormula.props1886814957551578541.key 212871 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 626.5ns 212871 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 216141 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.27s 216156 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_selectFormula.props1886814957551578541.key 216172 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.7ns 216172 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 1: 'macro split-prop' 216187 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 2: 'select formula="b"' 216187 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\proofscript_key_unhide.props14071638403036343893.key 216187 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 602.9ns 216187 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 219540 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.35s 219572 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_unhide.props14071638403036343893.key 219572 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.3ns 219572 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 1: 'rule impRight' 219587 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 2: 'hide '2=3 ==> 3=4'' 219587 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 3: 'unhide '2=3 ==>'' 219587 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 4: 'unhide '==> 3=4'' 219587 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\proofscript_key_unhide2.props5582143255629126476.key 219587 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 242.9ns 219603 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 222699 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.1s 222715 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_unhide2.props5582143255629126476.key 222715 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7ns 222715 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 1: 'rule impRight' 222731 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 2: 'hide '2=3 ==> 3=4'' 222731 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 3: 'unhide '2=3 ==> 3=4''