TestProofScriptCommand

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

tests

failures

ignored

25.402s

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.743s	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.715s	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.908s	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]	4.203s	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]	6.223s	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.850s	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.760s	passed

Standard output

170827     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\proofscript_key_andRight.props18367983535018495334.key 
170843     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 1.6ms 
170843     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
173532     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 2.7s 
173563     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_andRight.props18367983535018495334.key 
173563     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8ns 
173563     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 1: 'rule andRight' 
173579     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\proofscript_key_hide.exc.props11495066523602061221.key 
173579     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 157.7ns 
173579     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
176238     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 2.66s 
176254     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_hide.exc.props11495066523602061221.key 
176270     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.4ns 
176270     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 1: 'macro split-prop' 
176270     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 2: 'hide "b ==>"' 
176270     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine GOALS: 1 
176285     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine [a]==>[b] 
177427     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\proofscript_key_hide.props966949818673179092.key 
177427     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 366.6ns 
177427     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
180162     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 2.73s 
180178     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_hide.props966949818673179092.key 
180178     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.5ns 
180178     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 1: 'macro split-prop' 
180194     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 2: 'hide "a ==> d, e"' 
181602     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\proofscript_key_rule.exc.props11169825170949229092.key 
181602     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 341.8ns 
181602     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
184352     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 2.76s 
184383     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_rule.exc.props11169825170949229092.key 
184383     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.2ns 
184399     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 1: 'rule andLeft' 
184399     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine GOALS: 1 
184399     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine []==>[and(a,b)] 
187886     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\proofscript_key_selectFormula.props13969562659959273263.key 
187886     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 337.8ns 
187886     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
190591     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 2.7s 
190607     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_selectFormula.props13969562659959273263.key 
190607     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.2ns 
190607     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 1: 'macro split-prop' 
190622     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 2: 'select formula="b"' 
190638     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\proofscript_key_unhide.props8685115800679020071.key 
190638     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 492.7ns 
190638     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
193435     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 2.8s 
193467     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_unhide.props8685115800679020071.key 
193467     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.2ns 
193467     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 1: 'rule impRight' 
193482     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 2: 'hide '2=3 ==> 3=4'' 
193482     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 3: 'unhide '2=3 ==>'' 
193482     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 4: 'unhide '==> 3=4'' 
193482     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\proofscript_key_unhide2.props5754953972041181204.key 
193482     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 140.8ns 
193482     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
196203     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 2.72s 
196218     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_unhide2.props5754953972041181204.key 
196218     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.6ns 
196234     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 1: 'rule impRight' 
196234     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 2: 'hide '2=3 ==> 3=4'' 
196234     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 3: 'unhide '2=3 ==> 3=4''