TestProofScriptCommand

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

tests

failures

ignored

20.137s

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.779s	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.874s	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.831s	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.940s	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.876s	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.862s	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.975s	passed

Standard output

168988     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\proofscript_key_andRight.props4086794237389823740.key 
168988     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 656.9ns 
168988     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
171705     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 2.72s 
171736     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_andRight.props4086794237389823740.key 
171752     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 14.4ns 
171752     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 1: 'rule andRight' 
171752     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\proofscript_key_hide.exc.props2744574952464808608.key 
171752     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 225.7ns 
171768     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
174585     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 2.82s 
174600     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_hide.exc.props2744574952464808608.key 
174616     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 13.2ns 
174616     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 1: 'macro split-prop' 
174616     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 2: 'hide "b ==>"' 
174631     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine GOALS: 1 
174631     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine [a]==>[b] 
174631     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\proofscript_key_hide.props10958455834599277149.key 
174631     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 176.4ns 
174631     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
177420     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 2.78s 
177435     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_hide.props10958455834599277149.key 
177435     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 12.6ns 
177435     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 1: 'macro split-prop' 
177451     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 2: 'hide "a ==> d, e"' 
177467     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\proofscript_key_rule.exc.props4955994210288830116.key 
177467     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 193.9ns 
177467     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
180359     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 2.89s 
180405     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_rule.exc.props4955994210288830116.key 
180405     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 15.2ns 
180405     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 1: 'rule andLeft' 
180405     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine GOALS: 1 
180405     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine []==>[and(a,b)] 
180421     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\proofscript_key_selectFormula.props6626391151517569129.key 
180421     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 838.4ns 
180421     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
183232     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 2.82s 
183264     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_selectFormula.props6626391151517569129.key 
183264     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 14.1ns 
183264     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 1: 'macro split-prop' 
183279     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 2: 'select formula="b"' 
183295     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\proofscript_key_unhide.props10389484006621090682.key 
183295     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 207ns 
183295     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
186098     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 2.81s 
186129     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_unhide.props10389484006621090682.key 
186145     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 15.8ns 
186145     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 1: 'rule impRight' 
186145     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 2: 'hide '2=3 ==> 3=4'' 
186145     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 3: 'unhide '2=3 ==>'' 
186145     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 4: 'unhide '==> 3=4'' 
186160     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\proofscript_key_unhide2.props4904822334610710729.key 
186160     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 525.3ns 
186160     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
189082     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 2.93s 
189114     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_unhide2.props4904822334610710729.key 
189114     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 13.1ns 
189114     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 1: 'rule impRight' 
189114     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 2: 'hide '2=3 ==> 3=4'' 
189129     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 3: 'unhide '2=3 ==> 3=4''