TestProofScriptCommand

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

tests

failures

ignored

23.726s

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.408s	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.390s	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.392s	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.359s	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.328s	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.471s	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.378s	passed

Standard output

213863     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\proofscript_key_andRight.props17028644448408441152.key 
213863     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 2.83ms 
213863     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
217224     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 3.35s 
217255     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_andRight.props17028644448408441152.key 
217255     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.5ns 
217255     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 1: 'rule andRight' 
217271     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\proofscript_key_hide.exc.props4658035799384704720.key 
217271     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 192ns 
217287     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
220616     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 3.34s 
220647     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_hide.exc.props4658035799384704720.key 
220647     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.7ns 
220662     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 1: 'macro split-prop' 
220662     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 2: 'hide "b ==>"' 
220662     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine GOALS: 1 
220662     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine [a]==>[b] 
220678     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\proofscript_key_hide.props851247828569949818.key 
220678     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 831.6ns 
220678     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
224009     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 3.34s 
224041     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_hide.props851247828569949818.key 
224041     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.3ns 
224041     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 1: 'macro split-prop' 
224056     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 2: 'hide "a ==> d, e"' 
224072     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\proofscript_key_rule.exc.props12498564525289143828.key 
224072     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 179.9ns 
224072     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
227386     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 3.32s 
227417     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_rule.exc.props12498564525289143828.key 
227417     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.4ns 
227417     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 1: 'rule andLeft' 
227417     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine GOALS: 1 
227417     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine []==>[and(a,b)] 
227417     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\proofscript_key_selectFormula.props17852684424946998751.key 
227417     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 1.36ms 
227433     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
230700     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 3.27s 
230731     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_selectFormula.props17852684424946998751.key 
230731     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.5ns 
230731     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 1: 'macro split-prop' 
230746     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 2: 'select formula="b"' 
230746     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\proofscript_key_unhide.props1886735477505261236.key 
230746     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 173.7ns 
230762     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
234170     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 3.41s 
234202     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_unhide.props1886735477505261236.key 
234202     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.9ns 
234202     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 1: 'rule impRight' 
234202     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 2: 'hide '2=3 ==> 3=4'' 
234202     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 3: 'unhide '2=3 ==>'' 
234217     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 4: 'unhide '==> 3=4'' 
234217     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\proofscript_key_unhide2.props8725724842874413752.key 
234217     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 171ns 
234217     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
237548     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 3.33s 
237579     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_unhide2.props8725724842874413752.key 
237579     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.2ns 
237579     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 1: 'rule impRight' 
237595     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 2: 'hide '2=3 ==> 3=4'' 
237595     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 3: 'unhide '2=3 ==> 3=4''