TestProofScriptCommand

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

tests

failures

ignored

20.383s

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]	2.732s	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]	2.911s	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.312s	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]	2.881s	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]	2.793s	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]	2.872s	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]	2.882s	passed

Standard output

174043     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\proofscript_key_andRight.props4481157047947884863.key 
174043     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 2.05ms 
174043     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
176669     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 2.63s 
176700     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_andRight.props4481157047947884863.key 
176716     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8ns 
176716     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 1: 'rule andRight' 
176888     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\proofscript_key_hide.exc.props4272615700808654045.key 
176888     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 311.3ns 
176888     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
179593     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 2.7s 
179609     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_hide.exc.props4272615700808654045.key 
179609     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8ns 
179609     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 1: 'macro split-prop' 
179624     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 2: 'hide "b ==>"' 
179624     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine GOALS: 1 
179624     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine [a]==>[b] 
180156     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\proofscript_key_hide.props2780612139703645420.key 
180156     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 221.7ns 
180156     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
182860     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 2.72s 
182892     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_hide.props2780612139703645420.key 
182892     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.5ns 
182892     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 1: 'macro split-prop' 
182923     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 2: 'hide "a ==> d, e"' 
182954     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\proofscript_key_rule.exc.props6775857020100790810.key 
182954     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 157.8ns 
182954     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
185799     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 2.85s 
185831     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_rule.exc.props6775857020100790810.key 
185831     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.9ns 
185831     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 1: 'rule andLeft' 
185831     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine GOALS: 1 
185831     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine []==>[and(a,b)] 
185831     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\proofscript_key_selectFormula.props1874047512536826326.key 
185831     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 959.9ns 
185831     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
188582     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 2.75s 
188614     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_selectFormula.props1874047512536826326.key 
188614     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.4ns 
188614     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 1: 'macro split-prop' 
188629     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 2: 'select formula="b"' 
188629     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\proofscript_key_unhide.props7976002117692728815.key 
188629     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 446.7ns 
188645     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
191459     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 2.82s 
191475     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_unhide.props7976002117692728815.key 
191490     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.7ns 
191490     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 1: 'rule impRight' 
191490     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 2: 'hide '2=3 ==> 3=4'' 
191490     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 3: 'unhide '2=3 ==>'' 
191506     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 4: 'unhide '==> 3=4'' 
191506     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\proofscript_key_unhide2.props743618060789229151.key 
191521     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 12.75ms 
191521     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
194352     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 2.84s 
194368     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_unhide2.props743618060789229151.key 
194384     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.1ns 
194384     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 1: 'rule impRight' 
194384     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 2: 'hide '2=3 ==> 3=4'' 
194384     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 3: 'unhide '2=3 ==> 3=4''