TestProofScriptCommand

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

tests

failures

ignored

37.767s

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.578s	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.300s	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.504s	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.267s	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.316s	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.393s	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.409s	passed

Standard output

331914     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\proofscript_key_andRight.props15390053054351842826.key 
331914     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 6ms 
331914     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
337417     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 5.51s 
337448     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_andRight.props15390053054351842826.key 
337464     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 11.8ns 
337464     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 1: 'rule andRight' 
337479     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\proofscript_key_hide.exc.props4405090852305754810.key 
337479     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 224.8ns 
337479     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
342732     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 5.24s 
342763     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_hide.exc.props4405090852305754810.key 
342763     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.8ns 
342763     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 1: 'macro split-prop' 
342779     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 2: 'hide "b ==>"' 
342779     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine GOALS: 1 
342779     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine [a]==>[b] 
342779     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\proofscript_key_hide.props3657057303655616522.key 
342779     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 228.7ns 
342779     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
348237     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 5.45s 
348268     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_hide.props3657057303655616522.key 
348268     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.3ns 
348268     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 1: 'macro split-prop' 
348284     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 2: 'hide "a ==> d, e"' 
348299     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\proofscript_key_rule.exc.props15316815804736329440.key 
348299     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 194.8ns 
348299     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
353506     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 5.21s 
353553     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_rule.exc.props15316815804736329440.key 
353553     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 11.7ns 
353553     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 1: 'rule andLeft' 
353553     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine GOALS: 1 
353553     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine []==>[and(a,b)] 
353553     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\proofscript_key_selectFormula.props10543899922863485253.key 
353553     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 1.01ms 
353569     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
358807     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 5.25s 
358839     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_selectFormula.props10543899922863485253.key 
358839     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.2ns 
358854     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 1: 'macro split-prop' 
358870     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 2: 'select formula="b"' 
358870     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\proofscript_key_unhide.props5727283443588076261.key 
358870     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 191.8ns 
358885     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
364218     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 5.33s 
364233     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_unhide.props5727283443588076261.key 
364249     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.9ns 
364249     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 1: 'rule impRight' 
364249     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 2: 'hide '2=3 ==> 3=4'' 
364249     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 3: 'unhide '2=3 ==>'' 
364264     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 4: 'unhide '==> 3=4'' 
364264     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\proofscript_key_unhide2.props4178446419835932767.key 
364264     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 203.7ns 
364264     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
369626     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 5.36s 
369658     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_unhide2.props4178446419835932767.key 
369658     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.3ns 
369658     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 1: 'rule impRight' 
369673     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 2: 'hide '2=3 ==> 3=4'' 
369673     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 3: 'unhide '2=3 ==> 3=4''