TestProofScriptCommand

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

tests
0

failures
0

ignored
35.376s

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.099s 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] 4.953s 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] 4.972s 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.000s 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.253s 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.080s 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.019s passed

Standard output

309634     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\proofscript_key_andRight.props1576182754549231934.key 
309634     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 1.07ms 
309634     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
314669     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 5.04s 
314716     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_andRight.props1576182754549231934.key 
314716     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.2ns 
314716     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine [1] goal: 0, source line: 1, command: 'rule andRight' 
314732     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\proofscript_key_hide.exc.props11578820168157974558.key 
314732     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 736.3ns 
314748     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
319641     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 4.9s 
319672     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_hide.exc.props11578820168157974558.key 
319672     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.7ns 
319672     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine [1] goal: 0, source line: 1, command: 'macro split-prop' 
319687     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine [2] goal: 1, source line: 2, command: 'hide "b ==>"' 
319687     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine GOALS: 1 
319687     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine [a]==>[b] 
319703     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\proofscript_key_hide.props5531231242541898828.key 
319703     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 204.8ns 
319703     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
324613     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 4.91s 
324644     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_hide.props5531231242541898828.key 
324644     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.6ns 
324644     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine [1] goal: 0, source line: 1, command: 'macro split-prop' 
324660     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine [2] goal: 5, source line: 2, command: 'hide "a ==> d, e"' 
324676     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\proofscript_key_rule.exc.props603622206026723021.key 
324676     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 225.6ns 
324676     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
329630     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 4.95s 
329662     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_rule.exc.props603622206026723021.key 
329662     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.4ns 
329662     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine [1] goal: 0, source line: 1, command: 'rule andLeft' 
329662     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine GOALS: 1 
329662     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine []==>[and(a,b)] 
329677     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\proofscript_key_selectFormula.props17261274089304252060.key 
329677     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 965.6ns 
329677     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
334837     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 5.16s 
334884     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_selectFormula.props17261274089304252060.key 
334884     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.2ns 
334884     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine [1] goal: 0, source line: 1, command: 'macro split-prop' 
334916     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine [2] goal: 3, source line: 2, command: 'select formula="b"' 
334916     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\proofscript_key_unhide.props7810363184310707006.key 
334916     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 203.7ns 
334916     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
339934     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 5.02s 
339965     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_unhide.props7810363184310707006.key 
339981     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.1ns 
339981     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine [1] goal: 0, source line: 1, command: 'rule impRight' 
339981     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine [2] goal: 1, source line: 2, command: 'hide '2=3 ==> 3=4'' 
339996     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine [3] goal: 3, source line: 3, command: 'unhide '2=3 ==>'' 
339996     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine [4] goal: 4, source line: 4, command: 'unhide '==> 3=4'' 
339996     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\proofscript_key_unhide2.props10282822892049306671.key 
339996     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 204.7ns 
339996     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
344968     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 4.96s 
344984     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_unhide2.props10282822892049306671.key 
344999     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 13.6ns 
344999     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine [1] goal: 0, source line: 1, command: 'rule impRight' 
344999     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine [2] goal: 1, source line: 2, command: 'hide '2=3 ==> 3=4'' 
344999     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine [3] goal: 3, source line: 3, command: 'unhide '2=3 ==> 3=4''