TestProofScriptCommand

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

tests

failures

ignored

24.877s

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.394s	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.471s	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.720s	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.491s	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.765s	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.521s	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.515s	passed

Standard output

207221     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\proofscript_key_andRight.props14422497171138277140.key 
207221     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 556.9ns 
207237     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
210589     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 3.36s 
210620     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_andRight.props14422497171138277140.key 
210620     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.9ns 
210620     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 1: 'rule andRight' 
210636     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\proofscript_key_hide.exc.props5739923593960560460.key 
210636     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 179.6ns 
210636     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
214049     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 3.41s 
214065     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_hide.exc.props5739923593960560460.key 
214065     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.9ns 
214081     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 1: 'macro split-prop' 
214089     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 2: 'hide "b ==>"' 
214090     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine GOALS: 1 
214090     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine [a]==>[b] 
214094     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\proofscript_key_hide.props7062603933426676715.key 
214094     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 175.9ns 
214097     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
217765     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 3.68s 
217796     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_hide.props7062603933426676715.key 
217796     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 15.5ns 
217796     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 1: 'macro split-prop' 
217811     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 2: 'hide "a ==> d, e"' 
217811     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\proofscript_key_rule.exc.props17122168706003949221.key 
217811     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 205.3ns 
217827     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
221272     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 3.45s 
221288     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_rule.exc.props17122168706003949221.key 
221303     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.8ns 
221303     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 1: 'rule andLeft' 
221303     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine GOALS: 1 
221303     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine []==>[and(a,b)] 
221303     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\proofscript_key_selectFormula.props15524994399461260594.key 
221319     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 1ms 
221319     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
225021     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 3.71s 
225052     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_selectFormula.props15524994399461260594.key 
225052     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9ns 
225052     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 1: 'macro split-prop' 
225069     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 2: 'select formula="b"' 
225162     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\proofscript_key_unhide.props17862109207660413212.key 
225162     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 1.43ms 
225162     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
228625     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 3.47s 
228656     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_unhide.props17862109207660413212.key 
228656     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.4ns 
228656     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 1: 'rule impRight' 
228672     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 2: 'hide '2=3 ==> 3=4'' 
228672     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 3: 'unhide '2=3 ==>'' 
228672     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 4: 'unhide '==> 3=4'' 
228672     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\proofscript_key_unhide2.props18240282653057361384.key 
228672     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 885.7ns 
228687     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
232157     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 3.47s 
232172     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_unhide2.props18240282653057361384.key 
232172     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.4ns 
232172     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 1: 'rule impRight' 
232172     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 2: 'hide '2=3 ==> 3=4'' 
232188     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 3: 'unhide '2=3 ==> 3=4''