TestProofScriptCommand

all > de.uka.ilkd.key.macros.scripts > TestProofScriptCommand

tests

failures

ignored

27.532s

duration

100%

successful

Tests
Standard output

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]	4.490s	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.845s	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.923s	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.532s	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]	4.128s	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.814s	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.800s	passed

Standard output

208939     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\proofscript_key_andRight.props7742523032356509654.key 
208954     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 6.15ms 
208954     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
213353     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 4.4s 
213384     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_andRight.props7742523032356509654.key 
213399     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.6ns 
213399     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 1: 'rule andRight' 
213415     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\proofscript_key_hide.exc.props2062489131509380444.key 
213415     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 583.4ns 
213415     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
217183     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 3.77s 
217230     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_hide.exc.props2062489131509380444.key 
217230     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.4ns 
217230     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 1: 'macro split-prop' 
217245     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 2: 'hide "b ==>"' 
217245     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine GOALS: 1 
217245     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine [a]==>[b] 
217542     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\proofscript_key_hide.props11468939280559732324.key 
217542     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 335.9ns 
217558     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
221044     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 3.49s 
221153     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_hide.props11468939280559732324.key 
221153     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.7ns 
221153     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 1: 'macro split-prop' 
221169     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 2: 'hide "a ==> d, e"' 
221231     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\proofscript_key_rule.exc.props10607746799704597638.key 
221231     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 263.8ns 
221231     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
224671     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 3.44s 
224702     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_rule.exc.props10607746799704597638.key 
224702     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.1ns 
224702     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 1: 'rule andLeft' 
224702     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine GOALS: 1 
224702     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine []==>[and(a,b)] 
225234     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\proofscript_key_selectFormula.props499598172108179513.key 
225234     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 358.8ns 
225234     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
228768     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 3.53s 
228798     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_selectFormula.props499598172108179513.key 
228798     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.1ns 
228798     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 1: 'macro split-prop' 
228830     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 2: 'select formula="b"' 
228830     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\proofscript_key_unhide.props13509796223672623646.key 
228830     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 172.5ns 
228830     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
232581     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 3.75s 
232613     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_unhide.props13509796223672623646.key 
232628     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10ns 
232628     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 1: 'rule impRight' 
232644     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 2: 'hide '2=3 ==> 3=4'' 
232644     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 3: 'unhide '2=3 ==>'' 
232644     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 4: 'unhide '==> 3=4'' 
232691     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\proofscript_key_unhide2.props2703219705387206912.key 
232691     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 262.5ns 
232691     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
236397     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 3.7s 
236413     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_unhide2.props2703219705387206912.key 
236428     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.9ns 
236428     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 1: 'rule impRight' 
236444     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 2: 'hide '2=3 ==> 3=4'' 
236444     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 3: 'unhide '2=3 ==> 3=4''