TestProofScriptCommand

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

tests

failures

ignored

26.367s

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]	3.779s	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.691s	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.778s	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.766s	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]	3.668s	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.039s	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.646s	passed

Standard output

222885     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\proofscript_key_andRight.props11645119114449464212.key 
222885     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 1.31ms 
222885     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
226526     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 3.65s 
226573     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_andRight.props11645119114449464212.key 
226573     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.3ns 
226573     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 1: 'rule andRight' 
226588     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\proofscript_key_hide.exc.props11129954909352404084.key 
226588     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 180.8ns 
226588     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
230232     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 3.64s 
230263     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_hide.exc.props11129954909352404084.key 
230263     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.7ns 
230263     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 1: 'macro split-prop' 
230279     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 2: 'hide "b ==>"' 
230279     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine GOALS: 1 
230279     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine [a]==>[b] 
230294     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\proofscript_key_hide.props2980955653268067037.key 
230294     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 205ns 
230294     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
233995     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 3.71s 
234026     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_hide.props2980955653268067037.key 
234026     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.8ns 
234026     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 1: 'macro split-prop' 
234058     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 2: 'hide "a ==> d, e"' 
234058     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\proofscript_key_rule.exc.props14250746543014437998.key 
234058     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 232ns 
234073     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
237779     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 3.7s 
237794     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_rule.exc.props14250746543014437998.key 
237794     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.4ns 
237810     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 1: 'rule andLeft' 
237825     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine GOALS: 1 
237825     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine []==>[and(a,b)] 
237825     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\proofscript_key_selectFormula.props7268817027462433445.key 
237825     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 592.4ns 
237825     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
241447     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 3.61s 
241463     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_selectFormula.props7268817027462433445.key 
241478     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.4ns 
241478     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 1: 'macro split-prop' 
241494     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 2: 'select formula="b"' 
241494     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\proofscript_key_unhide.props3986415983802667810.key 
241494     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 197.8ns 
241494     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
245486     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 3.99s 
245517     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_unhide.props3986415983802667810.key 
245517     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.1ns 
245533     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 1: 'rule impRight' 
245533     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 2: 'hide '2=3 ==> 3=4'' 
245533     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 3: 'unhide '2=3 ==>'' 
245533     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 4: 'unhide '==> 3=4'' 
245533     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\proofscript_key_unhide2.props2031664578438147980.key 
245533     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 188.3ns 
245549     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
249133     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 3.59s 
249149     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_unhide2.props2031664578438147980.key 
249164     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.5ns 
249164     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 1: 'rule impRight' 
249164     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 2: 'hide '2=3 ==> 3=4'' 
249164     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 3: 'unhide '2=3 ==> 3=4''