TestProofScriptCommand

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

tests

failures

ignored

23.838s

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.310s	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.345s	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.459s	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.494s	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.434s	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.456s	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.340s	passed

Standard output

195204     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\proofscript_key_andRight.props2841275156688365206.key 
195204     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 395.5ns 
195204     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
198456     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 3.25s 
198487     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_andRight.props2841275156688365206.key 
198487     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.2ns 
198487     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 1: 'rule andRight' 
198503     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\proofscript_key_hide.exc.props11984545302678525179.key 
198503     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 185.7ns 
198503     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
201801     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 3.3s 
201833     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_hide.exc.props11984545302678525179.key 
201833     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.6ns 
201833     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 1: 'macro split-prop' 
201833     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 2: 'hide "b ==>"' 
201848     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine GOALS: 1 
201848     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine [a]==>[b] 
201848     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\proofscript_key_hide.props6528690710836505021.key 
201848     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 841.5ns 
201848     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
205262     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 3.4s 
205277     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_hide.props6528690710836505021.key 
205277     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.8ns 
205277     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 1: 'macro split-prop' 
205293     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 2: 'hide "a ==> d, e"' 
205308     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\proofscript_key_rule.exc.props4740028261563957122.key 
205308     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 175.8ns 
205308     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
208771     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 3.47s 
208803     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_rule.exc.props4740028261563957122.key 
208803     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.8ns 
208803     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 1: 'rule andLeft' 
208803     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine GOALS: 1 
208803     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine []==>[and(a,b)] 
208818     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\proofscript_key_selectFormula.props4343466075781134944.key 
208818     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 1.3ms 
208818     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
212191     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 3.38s 
212222     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_selectFormula.props4343466075781134944.key 
212222     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.4ns 
212222     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 1: 'macro split-prop' 
212238     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 2: 'select formula="b"' 
212238     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\proofscript_key_unhide.props253993335807078091.key 
212238     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 171.1ns 
212238     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
215647     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 3.41s 
215678     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_unhide.props253993335807078091.key 
215678     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 13.3ns 
215678     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 1: 'rule impRight' 
215694     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 2: 'hide '2=3 ==> 3=4'' 
215694     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 3: 'unhide '2=3 ==>'' 
215694     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 4: 'unhide '==> 3=4'' 
215694     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\proofscript_key_unhide2.props13880574599661558369.key 
215694     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 576.9ns 
215710     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
218988     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 3.29s 
219019     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_unhide2.props13880574599661558369.key 
219020     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.7ns 
219020     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 1: 'rule impRight' 
219035     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 2: 'hide '2=3 ==> 3=4'' 
219035     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 3: 'unhide '2=3 ==> 3=4''