TestProofScriptCommand

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

tests

failures

ignored

20.840s

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.996s	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.846s	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.026s	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.925s	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.025s	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.162s	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.860s	passed

Standard output

168919     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\proofscript_key_andRight.props15070709120068796137.key 
168919     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 590.1ns 
168919     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
171858     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 2.95s 
171889     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_andRight.props15070709120068796137.key 
171889     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 12.5ns 
171889     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 1: 'rule andRight' 
171905     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\proofscript_key_hide.exc.props10264099876641697191.key 
171905     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 581.1ns 
171905     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
174707     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 2.8s 
174723     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_hide.exc.props10264099876641697191.key 
174739     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.1ns 
174739     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 1: 'macro split-prop' 
174739     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 2: 'hide "b ==>"' 
174754     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine GOALS: 1 
174754     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine [a]==>[b] 
174754     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\proofscript_key_hide.props15920893463040828041.key 
174754     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 673.6ns 
174754     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
177654     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 2.89s 
177670     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_hide.props15920893463040828041.key 
177685     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 14.6ns 
177685     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 1: 'macro split-prop' 
177763     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 2: 'hide "a ==> d, e"' 
177779     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\proofscript_key_rule.exc.props2686345736908075758.key 
177779     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 182.7ns 
177779     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
180676     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 2.89s 
180692     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_rule.exc.props2686345736908075758.key 
180692     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 13.4ns 
180692     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 1: 'rule andLeft' 
180692     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine GOALS: 1 
180692     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine []==>[and(a,b)] 
180708     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\proofscript_key_selectFormula.props751604361777262380.key 
180708     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 1.15ms 
180708     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
183656     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 2.94s 
183719     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_selectFormula.props751604361777262380.key 
183719     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 13.4ns 
183719     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 1: 'macro split-prop' 
183734     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 2: 'select formula="b"' 
183750     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\proofscript_key_unhide.props5702787144317413565.key 
183750     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 202.5ns 
183750     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
186741     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 2.98s 
186756     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_unhide.props5702787144317413565.key 
186756     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 13.7ns 
186772     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 1: 'rule impRight' 
186897     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 2: 'hide '2=3 ==> 3=4'' 
186897     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 3: 'unhide '2=3 ==>'' 
186897     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 4: 'unhide '==> 3=4'' 
186913     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\proofscript_key_unhide2.props12223782465797445422.key 
186913     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 152.2ns 
186913     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
189712     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 2.81s 
189728     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_unhide2.props12223782465797445422.key 
189743     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 14.5ns 
189743     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 1: 'rule impRight' 
189759     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 2: 'hide '2=3 ==> 3=4'' 
189759     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 3: 'unhide '2=3 ==> 3=4''