TestProofScriptCommand

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

tests
0

failures
0

ignored
35.525s

duration
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] 5.086s 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] 5.071s 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] 5.122s 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] 5.031s 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] 5.105s 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] 5.084s 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] 5.026s passed

Standard output

307833     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\proofscript_key_andRight.props9736002647372131972.key 
307833     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 693.5ns 
307833     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
312834     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 4.99s 
312897     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_andRight.props9736002647372131972.key 
312897     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 26.6ns 
312897     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine [1] goal: 0, source line: 1, command: 'rule andRight' 
312928     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\proofscript_key_hide.exc.props15728271024760045041.key 
312928     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 201.7ns 
312928     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
317936     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 5.01s 
317968     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_hide.exc.props15728271024760045041.key 
317968     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.4ns 
317968     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine [1] goal: 0, source line: 1, command: 'macro split-prop' 
317983     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine [2] goal: 1, source line: 2, command: 'hide "b ==>"' 
317983     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine GOALS: 1 
317983     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine [a]==>[b] 
317983     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\proofscript_key_hide.props11581437686827747386.key 
317983     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 167.2ns 
317999     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
323044     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 5.05s 
323075     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_hide.props11581437686827747386.key 
323090     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 75.1ns 
323090     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine [1] goal: 0, source line: 1, command: 'macro split-prop' 
323106     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine [2] goal: 5, source line: 2, command: 'hide "a ==> d, e"' 
323106     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\proofscript_key_rule.exc.props1155996297591980546.key 
323106     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 692ns 
323106     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
328107     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 4.99s 
328138     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_rule.exc.props1155996297591980546.key 
328138     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.6ns 
328138     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine [1] goal: 0, source line: 1, command: 'rule andLeft' 
328138     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine GOALS: 1 
328138     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine []==>[and(a,b)] 
328138     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\proofscript_key_selectFormula.props9397790083250218118.key 
328138     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 544.3ns 
328154     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
333182     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 5.04s 
333213     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_selectFormula.props9397790083250218118.key 
333213     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.1ns 
333213     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine [1] goal: 0, source line: 1, command: 'macro split-prop' 
333229     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine [2] goal: 3, source line: 2, command: 'select formula="b"' 
333244     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\proofscript_key_unhide.props10613978386478629497.key 
333244     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 185.3ns 
333244     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
338281     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 5.03s 
338296     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_unhide.props10613978386478629497.key 
338312     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.5ns 
338312     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine [1] goal: 0, source line: 1, command: 'rule impRight' 
338312     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine [2] goal: 1, source line: 2, command: 'hide '2=3 ==> 3=4'' 
338312     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine [3] goal: 3, source line: 3, command: 'unhide '2=3 ==>'' 
338328     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine [4] goal: 4, source line: 4, command: 'unhide '==> 3=4'' 
338328     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\proofscript_key_unhide2.props13186335185761513825.key 
338328     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 183.8ns 
338328     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
343308     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 4.98s 
343339     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_unhide2.props13186335185761513825.key 
343339     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.4ns 
343339     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine [1] goal: 0, source line: 1, command: 'rule impRight' 
343339     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine [2] goal: 1, source line: 2, command: 'hide '2=3 ==> 3=4'' 
343339     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine [3] goal: 3, source line: 3, command: 'unhide '2=3 ==> 3=4''