TestProofScriptCommand

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

tests

failures

ignored

35.490s

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.991s	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]	5.047s	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]	5.080s	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]	5.073s	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]	5.118s	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]	5.045s	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]	5.136s	passed

Standard output

294402     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\proofscript_key_andRight.props2699551188354045739.key 
294402     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 1.04ms 
294402     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
299323     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 4.92s 
299370     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_andRight.props2699551188354045739.key 
299386     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.7ns 
299386     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 1: 'rule andRight' 
299402     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\proofscript_key_hide.exc.props8892558425094352542.key 
299402     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 181.4ns 
299402     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
304370     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 4.98s 
304402     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_hide.exc.props8892558425094352542.key 
304417     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.9ns 
304417     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 1: 'macro split-prop' 
304417     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 2: 'hide "b ==>"' 
304417     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine GOALS: 1 
304433     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine [a]==>[b] 
304433     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\proofscript_key_hide.props16037150959420916387.key 
304433     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 726.9ns 
304433     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
309467     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 5.03s 
309482     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_hide.props16037150959420916387.key 
309482     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.7ns 
309482     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 1: 'macro split-prop' 
309498     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 2: 'hide "a ==> d, e"' 
309514     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\proofscript_key_rule.exc.props4912229370146096780.key 
309514     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 184.7ns 
309514     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
314557     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 5.05s 
314588     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_rule.exc.props4912229370146096780.key 
314588     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.3ns 
314588     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 1: 'rule andLeft' 
314588     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine GOALS: 1 
314588     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine []==>[and(a,b)] 
314604     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\proofscript_key_selectFormula.props4252831466415296898.key 
314604     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 555.5ns 
314604     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
319660     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 5.06s 
319692     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_selectFormula.props4252831466415296898.key 
319692     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.4ns 
319692     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 1: 'macro split-prop' 
319707     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 2: 'select formula="b"' 
319707     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\proofscript_key_unhide.props11495542715978191406.key 
319707     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 172ns 
319707     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
324705     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 4.99s 
324736     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_unhide.props11495542715978191406.key 
324736     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.9ns 
324752     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 1: 'rule impRight' 
324752     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 2: 'hide '2=3 ==> 3=4'' 
324752     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 3: 'unhide '2=3 ==>'' 
324752     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 4: 'unhide '==> 3=4'' 
324768     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\proofscript_key_unhide2.props2205684693700405187.key 
324768     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 530.9ns 
324768     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
329842     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 5.08s 
329874     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_unhide2.props2205684693700405187.key 
329874     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10ns 
329874     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 1: 'rule impRight' 
329874     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 2: 'hide '2=3 ==> 3=4'' 
329874     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 3: 'unhide '2=3 ==> 3=4''