TestProofScriptCommand

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

tests

failures

ignored

22.711s

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.237s	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.209s	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.328s	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.383s	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.240s	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.214s	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.100s	passed

Standard output

190676     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\proofscript_key_andRight.props1061021630344361563.key 
190676     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 550.2ns 
190676     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
193885     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 3.2s 
193917     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_andRight.props1061021630344361563.key 
193917     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.4ns 
193917     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 1: 'rule andRight' 
193932     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\proofscript_key_hide.exc.props4282476292607781438.key 
193932     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 160.1ns 
193932     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
197064     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 3.14s 
197079     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_hide.exc.props4282476292607781438.key 
197095     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.7ns 
197095     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 1: 'macro split-prop' 
197126     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 2: 'hide "b ==>"' 
197126     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine GOALS: 1 
197126     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine [a]==>[b] 
197158     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\proofscript_key_hide.props3051686562057587270.key 
197158     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 482.6ns 
197158     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
200407     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 3.25s 
200422     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_hide.props3051686562057587270.key 
200438     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 11.3ns 
200438     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 1: 'macro split-prop' 
200454     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 2: 'hide "a ==> d, e"' 
200454     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\proofscript_key_rule.exc.props8556816274039915870.key 
200454     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 338.6ns 
200454     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
203823     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 3.35s 
203839     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_rule.exc.props8556816274039915870.key 
203839     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.6ns 
203839     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 1: 'rule andLeft' 
203839     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine GOALS: 1 
203839     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine []==>[and(a,b)] 
203839     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\proofscript_key_selectFormula.props8322860115232837758.key 
203839     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 668.1ns 
203839     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
207048     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 3.2s 
207064     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_selectFormula.props8322860115232837758.key 
207064     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.1ns 
207064     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 1: 'macro split-prop' 
207079     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 2: 'select formula="b"' 
207095     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\proofscript_key_unhide.props5031421005476915057.key 
207095     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 186.5ns 
207095     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
210248     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 3.15s 
210264     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_unhide.props5031421005476915057.key 
210280     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.8ns 
210280     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 1: 'rule impRight' 
210280     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 2: 'hide '2=3 ==> 3=4'' 
210280     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 3: 'unhide '2=3 ==>'' 
210280     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 4: 'unhide '==> 3=4'' 
210295     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\proofscript_key_unhide2.props1479094291875216744.key 
210295     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 518.4ns 
210295     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
213365     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 3.07s 
213381     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_unhide2.props1479094291875216744.key 
213381     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.9ns 
213381     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 1: 'rule impRight' 
213396     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 2: 'hide '2=3 ==> 3=4'' 
213396     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 3: 'unhide '2=3 ==> 3=4''