TestProofScriptCommand

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

tests

failures

ignored

21.981s

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.115s	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.216s	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.129s	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]	3.126s	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]	3.107s	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.075s	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.213s	passed

Standard output

184268     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\proofscript_key_andRight.props16423604888082302149.key 
184268     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 619.7ns 
184268     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
187320     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 3.06s 
187351     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_andRight.props16423604888082302149.key 
187351     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.3ns 
187351     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 1: 'rule andRight' 
187374     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\proofscript_key_hide.exc.props12505080598385629329.key 
187375     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 162.9ns 
187377     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
190556     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 3.18s 
190572     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_hide.exc.props12505080598385629329.key 
190572     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.3ns 
190572     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 1: 'macro split-prop' 
190587     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 2: 'hide "b ==>"' 
190587     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine GOALS: 1 
190587     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine [a]==>[b] 
190603     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\proofscript_key_hide.props12881349870909149435.key 
190603     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 673.2ns 
190610     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
193671     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 3.06s 
193688     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_hide.props12881349870909149435.key 
193688     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.2ns 
193688     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 1: 'macro split-prop' 
193703     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 2: 'hide "a ==> d, e"' 
193719     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\proofscript_key_rule.exc.props4333868333197772889.key 
193719     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 188ns 
193719     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
196815     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 3.1s 
196846     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_rule.exc.props4333868333197772889.key 
196846     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.9ns 
196846     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 1: 'rule andLeft' 
196846     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine GOALS: 1 
196846     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine []==>[and(a,b)] 
196862     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\proofscript_key_selectFormula.props3668417466964457395.key 
196862     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 1.11ms 
196862     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
199923     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 3.06s 
199939     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_selectFormula.props3668417466964457395.key 
199939     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.2ns 
199939     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 1: 'macro split-prop' 
199954     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 2: 'select formula="b"' 
199970     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\proofscript_key_unhide.props8785822575697273897.key 
199970     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 171.6ns 
199970     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
202982     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 3.01s 
203013     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_unhide.props8785822575697273897.key 
203013     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.2ns 
203013     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 1: 'rule impRight' 
203029     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 2: 'hide '2=3 ==> 3=4'' 
203029     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 3: 'unhide '2=3 ==>'' 
203029     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 4: 'unhide '==> 3=4'' 
203029     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\proofscript_key_unhide2.props15077384613479494626.key 
203029     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 472.4ns 
203029     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
206196     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 3.17s 
206228     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_unhide2.props15077384613479494626.key 
206228     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.4ns 
206228     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 1: 'rule impRight' 
206228     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 2: 'hide '2=3 ==> 3=4'' 
206228     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 3: 'unhide '2=3 ==> 3=4''