TestProofScriptCommand

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

tests
0

failures
0

ignored
30.436s

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] 4.295s 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.305s 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.365s 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] 4.326s 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.422s 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] 4.345s 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] 4.378s passed

Standard output

253411     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\proofscript_key_andRight.props1863304228890202114.key 
253411     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 665ns 
253411     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
257647     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 4.24s 
257678     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_andRight.props1863304228890202114.key 
257678     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 12.5ns 
257678     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine [1] goal: 0, source line: 1, command: 'rule andRight' 
257694     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\proofscript_key_hide.exc.props1344350851013203779.key 
257694     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 202.6ns 
257694     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
261952     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 4.26s 
261983     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_hide.exc.props1344350851013203779.key 
261983     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.8ns 
261983     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine [1] goal: 0, source line: 1, command: 'macro split-prop' 
261999     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine [2] goal: 1, source line: 2, command: 'hide "b ==>"' 
261999     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine GOALS: 1 
261999     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine [a]==>[b] 
261999     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\proofscript_key_hide.props3056141384315851259.key 
261999     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 738.1ns 
261999     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
266318     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 4.31s 
266333     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_hide.props3056141384315851259.key 
266349     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.7ns 
266349     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine [1] goal: 0, source line: 1, command: 'macro split-prop' 
266365     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine [2] goal: 5, source line: 2, command: 'hide "a ==> d, e"' 
266365     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\proofscript_key_rule.exc.props17484189348958666463.key 
266365     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 503.8ns 
266365     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
270661     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 4.29s 
270677     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_rule.exc.props17484189348958666463.key 
270677     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.9ns 
270677     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine [1] goal: 0, source line: 1, command: 'rule andLeft' 
270692     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine GOALS: 1 
270692     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine []==>[and(a,b)] 
270692     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\proofscript_key_selectFormula.props5804064662233329360.key 
270692     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 2.01ms 
270692     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
275068     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 4.36s 
275083     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_selectFormula.props5804064662233329360.key 
275099     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 11.7ns 
275099     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine [1] goal: 0, source line: 1, command: 'macro split-prop' 
275115     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine [2] goal: 3, source line: 2, command: 'select formula="b"' 
275115     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\proofscript_key_unhide.props11924805719531864251.key 
275115     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 196.2ns 
275115     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
279413     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 4.3s 
279444     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_unhide.props11924805719531864251.key 
279444     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 12.7ns 
279444     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine [1] goal: 0, source line: 1, command: 'rule impRight' 
279460     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine [2] goal: 1, source line: 2, command: 'hide '2=3 ==> 3=4'' 
279460     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine [3] goal: 3, source line: 3, command: 'unhide '2=3 ==>'' 
279460     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine [4] goal: 4, source line: 4, command: 'unhide '==> 3=4'' 
279460     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\proofscript_key_unhide2.props15885200806609699295.key 
279460     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 152.3ns 
279460     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
283807     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 4.34s 
283822     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_unhide2.props15885200806609699295.key 
283822     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.8ns 
283822     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine [1] goal: 0, source line: 1, command: 'rule impRight' 
283822     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine [2] goal: 1, source line: 2, command: 'hide '2=3 ==> 3=4'' 
283838     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine [3] goal: 3, source line: 3, command: 'unhide '2=3 ==> 3=4''