TestProofScriptCommand

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

tests

failures

ignored

26.961s

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.727s	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.839s	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.759s	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.856s	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.835s	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]	4.037s	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.908s	passed

Standard output

222942     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\proofscript_key_andRight.props18436555390147328803.key 
222942     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 654.9ns 
222942     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
226594     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 3.66s 
226641     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_andRight.props18436555390147328803.key 
226641     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.3ns 
226641     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 1: 'rule andRight' 
226656     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\proofscript_key_hide.exc.props3167421479562690076.key 
226656     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 670.6ns 
226672     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
230433     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 3.77s 
230464     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_hide.exc.props3167421479562690076.key 
230464     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.1ns 
230480     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 1: 'macro split-prop' 
230480     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 2: 'hide "b ==>"' 
230480     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine GOALS: 1 
230480     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine [a]==>[b] 
230496     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\proofscript_key_hide.props16676510575558977581.key 
230496     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 903.8ns 
230496     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
234209     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 3.71s 
234225     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_hide.props16676510575558977581.key 
234240     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.6ns 
234240     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 1: 'macro split-prop' 
234256     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 2: 'hide "a ==> d, e"' 
234271     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\proofscript_key_rule.exc.props13564585845483682256.key 
234271     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 184.2ns 
234271     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
238097     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 3.82s 
238113     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_rule.exc.props13564585845483682256.key 
238113     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.6ns 
238113     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 1: 'rule andLeft' 
238113     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine GOALS: 1 
238113     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine []==>[and(a,b)] 
238129     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\proofscript_key_selectFormula.props12009174819905625935.key 
238129     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 559.3ns 
238129     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
241902     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 3.78s 
241933     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_selectFormula.props12009174819905625935.key 
241933     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8ns 
241933     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 1: 'macro split-prop' 
241949     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 2: 'select formula="b"' 
241949     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\proofscript_key_unhide.props13728319341581448099.key 
241949     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 226.2ns 
241965     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
245939     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 3.98s 
245971     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_unhide.props13728319341581448099.key 
245971     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.6ns 
245971     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 1: 'rule impRight' 
245971     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 2: 'hide '2=3 ==> 3=4'' 
245986     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 3: 'unhide '2=3 ==>'' 
245986     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 4: 'unhide '==> 3=4'' 
245986     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\proofscript_key_unhide2.props474346622919525016.key 
246002     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 7.71ms 
246002     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
249860     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 3.85s 
249876     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_unhide2.props474346622919525016.key 
249876     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.7ns 
249876     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 1: 'rule impRight' 
249876     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 2: 'hide '2=3 ==> 3=4'' 
249895     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 3: 'unhide '2=3 ==> 3=4''