TestProofScriptCommand

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

tests

failures

ignored

27.209s

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]	3.852s	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]	3.768s	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.814s	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.003s	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.112s	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]	3.814s	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]	3.846s	passed

Standard output

228655     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\proofscript_key_andRight.props18055041447055667326.key 
228655     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 1.36ms 
228655     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
232439     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 3.79s 
232471     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_andRight.props18055041447055667326.key 
232486     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.2ns 
232486     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 1: 'rule andRight' 
232502     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\proofscript_key_hide.exc.props15045552057205093220.key 
232502     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 196.8ns 
232502     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
236208     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 3.72s 
236239     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_hide.exc.props15045552057205093220.key 
236255     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.2ns 
236255     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 1: 'macro split-prop' 
236255     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 2: 'hide "b ==>"' 
236255     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine GOALS: 1 
236255     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine [a]==>[b] 
236271     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\proofscript_key_hide.props10550172466634362431.key 
236271     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 187.4ns 
236271     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
240023     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 3.75s 
240054     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_hide.props10550172466634362431.key 
240054     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.8ns 
240054     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 1: 'macro split-prop' 
240070     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 2: 'hide "a ==> d, e"' 
240070     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\proofscript_key_rule.exc.props12865630469368866188.key 
240070     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 215ns 
240086     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
244042     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 3.96s 
244074     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_rule.exc.props12865630469368866188.key 
244074     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.9ns 
244074     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 1: 'rule andLeft' 
244074     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine GOALS: 1 
244074     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine []==>[and(a,b)] 
244089     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\proofscript_key_selectFormula.props957738919846662469.key 
244089     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 894.5ns 
244089     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
248139     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 4.05s 
248154     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_selectFormula.props957738919846662469.key 
248170     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.5ns 
248170     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 1: 'macro split-prop' 
248186     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 2: 'select formula="b"' 
248186     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\proofscript_key_unhide.props3743664865728981022.key 
248186     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 208.2ns 
248201     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
251937     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 3.75s 
251969     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_unhide.props3743664865728981022.key 
251984     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 11.7ns 
251984     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 1: 'rule impRight' 
251984     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 2: 'hide '2=3 ==> 3=4'' 
251984     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 3: 'unhide '2=3 ==>'' 
252000     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 4: 'unhide '==> 3=4'' 
252000     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\proofscript_key_unhide2.props2537172863876343889.key 
252000     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 197.7ns 
252015     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
255785     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 3.77s 
255815     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_unhide2.props2537172863876343889.key 
255815     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 21.7ns 
255815     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 1: 'rule impRight' 
255830     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 2: 'hide '2=3 ==> 3=4'' 
255846     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 3: 'unhide '2=3 ==> 3=4''