TestProofScriptCommand

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

tests

failures

ignored

24.644s

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.497s	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.424s	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.547s	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.468s	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.549s	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]	3.627s	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.532s	passed

Standard output

237980     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\proofscript_key_andRight.props16332934300132877337.key 
237980     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 904.1ns 
237980     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
241403     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 3.43s 
241450     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_andRight.props16332934300132877337.key 
241450     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.2ns 
241450     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 1: 'rule andRight' 
241466     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\proofscript_key_hide.exc.props17644618305258710493.key 
241466     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 233.9ns 
241466     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
244843     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 3.38s 
244874     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_hide.exc.props17644618305258710493.key 
244874     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.1ns 
244874     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 1: 'macro split-prop' 
244890     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 2: 'hide "b ==>"' 
244890     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine GOALS: 1 
244890     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine [a]==>[b] 
244890     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\proofscript_key_hide.props17754896868720618213.key 
244890     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 857.7ns 
244906     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
248392     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 3.49s 
248424     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_hide.props17754896868720618213.key 
248424     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.2ns 
248424     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 1: 'macro split-prop' 
248439     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 2: 'hide "a ==> d, e"' 
248439     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\proofscript_key_rule.exc.props15018017323093978684.key 
248439     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 695.2ns 
248455     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
251862     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 3.42s 
251894     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_rule.exc.props15018017323093978684.key 
251909     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.8ns 
251909     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 1: 'rule andLeft' 
251909     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine GOALS: 1 
251909     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine []==>[and(a,b)] 
251909     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\proofscript_key_selectFormula.props882203196100656474.key 
251909     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 1.38ms 
251909     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
255412     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 3.5s 
255443     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_selectFormula.props882203196100656474.key 
255443     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.4ns 
255443     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 1: 'macro split-prop' 
255459     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 2: 'select formula="b"' 
255474     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\proofscript_key_unhide.props14774538569734657955.key 
255474     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 186.4ns 
255474     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
259024     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 3.56s 
259055     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_unhide.props14774538569734657955.key 
259071     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.9ns 
259071     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 1: 'rule impRight' 
259086     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 2: 'hide '2=3 ==> 3=4'' 
259086     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 3: 'unhide '2=3 ==>'' 
259086     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 4: 'unhide '==> 3=4'' 
259086     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\proofscript_key_unhide2.props5643371688915017187.key 
259086     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 616.4ns 
259102     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
262572     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 3.47s 
262588     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_unhide2.props5643371688915017187.key 
262603     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.9ns 
262603     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 1: 'rule impRight' 
262619     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 2: 'hide '2=3 ==> 3=4'' 
262619     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 3: 'unhide '2=3 ==> 3=4''