TestProofScriptCommand

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

tests

failures

ignored

23.472s

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.369s	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.301s	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.326s	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.334s	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.348s	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.482s	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.312s	passed

Standard output

197091     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\proofscript_key_andRight.props8197453046656054492.key 
197091     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 665.4ns 
197091     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
200415     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 3.32s 
200446     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_andRight.props8197453046656054492.key 
200446     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.4ns 
200446     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 1: 'rule andRight' 
200462     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\proofscript_key_hide.exc.props2993957945587813721.key 
200462     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 158.2ns 
200462     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
203716     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 3.25s 
203731     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_hide.exc.props2993957945587813721.key 
203731     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.1ns 
203731     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 1: 'macro split-prop' 
203747     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 2: 'hide "b ==>"' 
203747     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine GOALS: 1 
203747     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine [a]==>[b] 
203763     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\proofscript_key_hide.props15175353090164024077.key 
203763     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 175ns 
203763     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
207027     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 3.26s 
207042     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_hide.props15175353090164024077.key 
207058     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.4ns 
207058     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 1: 'macro split-prop' 
207074     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 2: 'hide "a ==> d, e"' 
207074     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\proofscript_key_rule.exc.props7069640251963638453.key 
207074     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 161.7ns 
207074     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
210378     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 3.3s 
210409     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_rule.exc.props7069640251963638453.key 
210409     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.5ns 
210409     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 1: 'rule andLeft' 
210409     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine GOALS: 1 
210409     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine []==>[and(a,b)] 
210425     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\proofscript_key_selectFormula.props17588562205198111363.key 
210425     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 874.9ns 
210425     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
213710     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 3.28s 
213726     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_selectFormula.props17588562205198111363.key 
213741     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.5ns 
213741     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 1: 'macro split-prop' 
213741     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 2: 'select formula="b"' 
213757     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\proofscript_key_unhide.props6155596560781682244.key 
213757     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 190.4ns 
213757     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
217208     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 3.44s 
217223     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_unhide.props6155596560781682244.key 
217223     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.6ns 
217223     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 1: 'rule impRight' 
217239     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 2: 'hide '2=3 ==> 3=4'' 
217239     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 3: 'unhide '2=3 ==>'' 
217239     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 4: 'unhide '==> 3=4'' 
217239     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\proofscript_key_unhide2.props11974700907975728125.key 
217239     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 192.3ns 
217255     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
220504     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 3.26s 
220519     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_unhide2.props11974700907975728125.key 
220535     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.9ns 
220535     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 1: 'rule impRight' 
220535     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 2: 'hide '2=3 ==> 3=4'' 
220535     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 3: 'unhide '2=3 ==> 3=4''