TestProofScriptCommand

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

tests

failures

ignored

29.586s

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]	4.194s	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]	4.186s	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]	4.204s	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.212s	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]	4.303s	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]	4.256s	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]	4.231s	passed

Standard output

252210     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\proofscript_key_andRight.props8037787460464808975.key 
252210     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 651.5ns 
252210     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
256357     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 4.14s 
256388     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_andRight.props8037787460464808975.key 
256388     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 11.9ns 
256388     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 1: 'rule andRight' 
256405     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\proofscript_key_hide.exc.props13208980239676453487.key 
256405     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 224.9ns 
256405     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
260546     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 4.15s 
260577     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_hide.exc.props13208980239676453487.key 
260577     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.4ns 
260577     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 1: 'macro split-prop' 
260592     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 2: 'hide "b ==>"' 
260592     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine GOALS: 1 
260592     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine [a]==>[b] 
260592     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\proofscript_key_hide.props9198706822238148200.key 
260592     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 159.3ns 
260608     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
264749     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 4.15s 
264780     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_hide.props9198706822238148200.key 
264780     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.8ns 
264780     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 1: 'macro split-prop' 
264796     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 2: 'hide "a ==> d, e"' 
264796     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\proofscript_key_rule.exc.props1680365960955272281.key 
264796     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 523.2ns 
264796     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
268977     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 4.18s 
269009     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_rule.exc.props1680365960955272281.key 
269009     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.1ns 
269009     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 1: 'rule andLeft' 
269009     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine GOALS: 1 
269009     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine []==>[and(a,b)] 
269009     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\proofscript_key_selectFormula.props1939067518033256156.key 
269009     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 778.6ns 
269024     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
273282     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 4.26s 
273298     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_selectFormula.props1939067518033256156.key 
273298     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.4ns 
273298     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 1: 'macro split-prop' 
273313     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 2: 'select formula="b"' 
273329     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\proofscript_key_unhide.props6816951966072296620.key 
273329     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 185.4ns 
273329     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
277522     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 4.19s 
277537     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_unhide.props6816951966072296620.key 
277553     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.2ns 
277553     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 1: 'rule impRight' 
277553     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 2: 'hide '2=3 ==> 3=4'' 
277553     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 3: 'unhide '2=3 ==>'' 
277553     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 4: 'unhide '==> 3=4'' 
277569     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\proofscript_key_unhide2.props14805057618657262333.key 
277569     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 158.4ns 
277569     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
281753     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 4.19s 
281784     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_unhide2.props14805057618657262333.key 
281784     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.2ns 
281784     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 1: 'rule impRight' 
281784     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 2: 'hide '2=3 ==> 3=4'' 
281800     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 3: 'unhide '2=3 ==> 3=4''