TestProofScriptCommand

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

tests

failures

ignored

37.379s

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]	5.335s	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.408s	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.424s	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.252s	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.346s	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.283s	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.331s	passed

Standard output

327738     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\proofscript_key_andRight.props15049614620964733504.key 
327738     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 321.9ns 
327738     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
333009     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 5.27s 
333055     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_andRight.props15049614620964733504.key 
333071     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.4ns 
333071     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 1: 'rule andRight' 
333087     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\proofscript_key_hide.exc.props7931357223409435806.key 
333087     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 256.9ns 
333087     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
338433     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 5.35s 
338464     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_hide.exc.props7931357223409435806.key 
338464     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.2ns 
338464     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 1: 'macro split-prop' 
338480     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 2: 'hide "b ==>"' 
338480     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine GOALS: 1 
338480     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine [a]==>[b] 
338480     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\proofscript_key_hide.props10383752856712736602.key 
338480     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 198.8ns 
338495     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
343842     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 5.35s 
343873     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_hide.props10383752856712736602.key 
343873     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.3ns 
343873     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 1: 'macro split-prop' 
343889     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 2: 'hide "a ==> d, e"' 
343905     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\proofscript_key_rule.exc.props13413856582879635613.key 
343905     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 245ns 
343905     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
349128     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 5.22s 
349159     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_rule.exc.props13413856582879635613.key 
349159     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.6ns 
349159     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 1: 'rule andLeft' 
349159     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine GOALS: 1 
349159     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine []==>[and(a,b)] 
349174     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\proofscript_key_selectFormula.props5473290268400605733.key 
349174     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 1.23ms 
349174     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
354460     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 5.28s 
354491     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_selectFormula.props5473290268400605733.key 
354491     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.7ns 
354491     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 1: 'macro split-prop' 
354507     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 2: 'select formula="b"' 
354522     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\proofscript_key_unhide.props7272915198312361695.key 
354522     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 713.9ns 
354522     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
359744     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 5.22s 
359775     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_unhide.props7272915198312361695.key 
359775     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.6ns 
359775     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 1: 'rule impRight' 
359791     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 2: 'hide '2=3 ==> 3=4'' 
359791     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 3: 'unhide '2=3 ==>'' 
359791     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 4: 'unhide '==> 3=4'' 
359806     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\proofscript_key_unhide2.props9375920633103359071.key 
359806     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 549.9ns 
359806     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
365076     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 5.28s 
365108     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_unhide2.props9375920633103359071.key 
365108     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.4ns 
365108     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 1: 'rule impRight' 
365123     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 2: 'hide '2=3 ==> 3=4'' 
365123     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 3: 'unhide '2=3 ==> 3=4''