TestProofScriptCommand

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

tests

failures

ignored

19.331s

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.700s	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.674s	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]	2.743s	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.820s	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.708s	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.888s	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.798s	passed

Standard output

161936     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\proofscript_key_andRight.props10135743511212512090.key 
161936     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 1.86ms 
161936     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
164593     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 2.66s 
164624     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_andRight.props10135743511212512090.key 
164624     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.9ns 
164624     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 1: 'rule andRight' 
164640     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\proofscript_key_hide.exc.props13898794573479746978.key 
164640     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 147.2ns 
164640     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
167267     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 2.63s 
167298     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_hide.exc.props13898794573479746978.key 
167298     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.6ns 
167298     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 1: 'macro split-prop' 
167298     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 2: 'hide "b ==>"' 
167298     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine GOALS: 1 
167298     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine [a]==>[b] 
167314     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\proofscript_key_hide.props888152350371617184.key 
167314     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 653.4ns 
167314     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
170002     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 2.7s 
170033     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_hide.props888152350371617184.key 
170033     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.3ns 
170033     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 1: 'macro split-prop' 
170049     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 2: 'hide "a ==> d, e"' 
170049     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\proofscript_key_rule.exc.props10696306884981998157.key 
170049     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 143.5ns 
170049     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
172847     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 2.79s 
172863     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_rule.exc.props10696306884981998157.key 
172863     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.5ns 
172863     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 1: 'rule andLeft' 
172863     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine GOALS: 1 
172863     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine []==>[and(a,b)] 
172878     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\proofscript_key_selectFormula.props16652765794544141106.key 
172878     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 647.7ns 
172878     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
175536     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 2.66s 
175567     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_selectFormula.props16652765794544141106.key 
175567     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.6ns 
175567     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 1: 'macro split-prop' 
175583     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 2: 'select formula="b"' 
175583     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\proofscript_key_unhide.props7823967768610825501.key 
175583     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 147.5ns 
175583     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
178414     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 2.83s 
178445     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_unhide.props7823967768610825501.key 
178445     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.2ns 
178445     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 1: 'rule impRight' 
178445     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 2: 'hide '2=3 ==> 3=4'' 
178445     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 3: 'unhide '2=3 ==>'' 
178461     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 4: 'unhide '==> 3=4'' 
178461     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\proofscript_key_unhide2.props12932412585163177481.key 
178461     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 139.5ns 
178461     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
181227     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 2.76s 
181243     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_unhide2.props12932412585163177481.key 
181243     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.9ns 
181243     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 1: 'rule impRight' 
181243     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 2: 'hide '2=3 ==> 3=4'' 
181243     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 3: 'unhide '2=3 ==> 3=4''