TestProofScriptCommand

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

tests
0

failures
0

ignored
30.452s

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.354s 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.389s 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.345s 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.392s 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.317s 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.348s 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.307s passed

Standard output

264041     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\proofscript_key_andRight.props4912092409300104471.key 
264041     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 675ns 
264041     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
268335     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 4.3s 
268366     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_andRight.props4912092409300104471.key 
268366     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.9ns 
268366     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine [1] goal: 0, source line: 1, command: 'rule andRight' 
268382     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\proofscript_key_hide.exc.props941356445618261648.key 
268382     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 216.2ns 
268382     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
272740     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 4.34s 
272755     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_hide.exc.props941356445618261648.key 
272755     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 13.9ns 
272771     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine [1] goal: 0, source line: 1, command: 'macro split-prop' 
272771     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine [2] goal: 1, source line: 2, command: 'hide "b ==>"' 
272771     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine GOALS: 1 
272771     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine [a]==>[b] 
272787     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\proofscript_key_hide.props14640112703707365091.key 
272787     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 192ns 
272787     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
277069     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 4.29s 
277085     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_hide.props14640112703707365091.key 
277100     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 11.1ns 
277100     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine [1] goal: 0, source line: 1, command: 'macro split-prop' 
277116     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine [2] goal: 5, source line: 2, command: 'hide "a ==> d, e"' 
277116     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\proofscript_key_rule.exc.props4593947150891539958.key 
277116     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 183.6ns 
277116     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
281494     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 4.37s 
281510     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_rule.exc.props4593947150891539958.key 
281510     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.7ns 
281510     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine [1] goal: 0, source line: 1, command: 'rule andLeft' 
281510     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine GOALS: 1 
281510     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine []==>[and(a,b)] 
281525     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\proofscript_key_selectFormula.props14399899709550791904.key 
281525     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 177.2ns 
281525     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
285782     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 4.26s 
285797     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_selectFormula.props14399899709550791904.key 
285813     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.3ns 
285813     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine [1] goal: 0, source line: 1, command: 'macro split-prop' 
285828     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine [2] goal: 3, source line: 2, command: 'select formula="b"' 
285828     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\proofscript_key_unhide.props989937800279302987.key 
285844     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 1.42ms 
285844     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
290130     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 4.3s 
290161     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_unhide.props989937800279302987.key 
290161     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.7ns 
290161     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine [1] goal: 0, source line: 1, command: 'rule impRight' 
290161     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine [2] goal: 1, source line: 2, command: 'hide '2=3 ==> 3=4'' 
290177     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine [3] goal: 3, source line: 3, command: 'unhide '2=3 ==>'' 
290177     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine [4] goal: 4, source line: 4, command: 'unhide '==> 3=4'' 
290177     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\proofscript_key_unhide2.props17168476469565319418.key 
290177     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 177.1ns 
290177     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
294453     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 4.28s 
294484     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_unhide2.props17168476469565319418.key 
294484     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.2ns 
294484     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine [1] goal: 0, source line: 1, command: 'rule impRight' 
294484     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine [2] goal: 1, source line: 2, command: 'hide '2=3 ==> 3=4'' 
294484     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine [3] goal: 3, source line: 3, command: 'unhide '2=3 ==> 3=4''