TestProofScriptCommand

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

tests

failures

ignored

29.418s

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]	4.190s	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.219s	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.199s	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.177s	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.249s	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.196s	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.188s	passed

Standard output

251256     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\proofscript_key_andRight.props14447207997947800024.key 
251256     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 661.6ns 
251256     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
255400     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 4.14s 
255416     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_andRight.props14447207997947800024.key 
255431     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.3ns 
255431     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 1: 'rule andRight' 
255431     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\proofscript_key_hide.exc.props13479519663849631913.key 
255431     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 167.9ns 
255447     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
259618     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 4.17s 
259634     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_hide.exc.props13479519663849631913.key 
259650     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.5ns 
259650     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 1: 'macro split-prop' 
259650     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 2: 'hide "b ==>"' 
259650     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine GOALS: 1 
259650     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine [a]==>[b] 
259665     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\proofscript_key_hide.props13307469092061214225.key 
259665     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 153.4ns 
259665     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
263803     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 4.14s 
263819     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_hide.props13307469092061214225.key 
263835     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.3ns 
263835     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 1: 'macro split-prop' 
263850     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 2: 'hide "a ==> d, e"' 
263850     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\proofscript_key_rule.exc.props4241138588889511831.key 
263850     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 197.1ns 
263850     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
268012     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 4.15s 
268028     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_rule.exc.props4241138588889511831.key 
268028     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.2ns 
268028     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 1: 'rule andLeft' 
268028     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine GOALS: 1 
268028     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine []==>[and(a,b)] 
268044     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\proofscript_key_selectFormula.props15458359638296022675.key 
268044     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 795.5ns 
268044     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
272231     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 4.19s 
272262     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_selectFormula.props15458359638296022675.key 
272262     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.7ns 
272262     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 1: 'macro split-prop' 
272278     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 2: 'select formula="b"' 
272278     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\proofscript_key_unhide.props12864684052485583226.key 
272278     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 480.2ns 
272278     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
276443     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 4.16s 
276459     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_unhide.props12864684052485583226.key 
276459     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.3ns 
276459     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 1: 'rule impRight' 
276475     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 2: 'hide '2=3 ==> 3=4'' 
276475     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 3: 'unhide '2=3 ==>'' 
276475     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 4: 'unhide '==> 3=4'' 
276475     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\proofscript_key_unhide2.props1579125660308034013.key 
276475     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 165.6ns 
276475     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
280633     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 4.15s 
280648     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_unhide2.props1579125660308034013.key 
280648     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.9ns 
280648     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 1: 'rule impRight' 
280664     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 2: 'hide '2=3 ==> 3=4'' 
280664     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 3: 'unhide '2=3 ==> 3=4''