TestProofScriptCommand

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

tests
0

failures
0

ignored
37.186s

duration
100%

successful

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] 5.282s 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] 5.220s 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] 5.356s 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] 5.312s 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] 5.410s 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] 5.345s 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] 5.261s passed

Standard output

310863     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\proofscript_key_andRight.props15291952156413852243.key 
310863     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 606.2ns 
310863     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
316078     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 5.22s 
316109     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_andRight.props15291952156413852243.key 
316125     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.9ns 
316125     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine [1] goal: 0, source line: 1, command: 'rule andRight' 
316141     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\proofscript_key_hide.exc.props8199459728002478585.key 
316141     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 322.3ns 
316141     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
321315     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 5.17s 
321347     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_hide.exc.props8199459728002478585.key 
321362     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.2ns 
321362     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine [1] goal: 0, source line: 1, command: 'macro split-prop' 
321362     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine [2] goal: 1, source line: 2, command: 'hide "b ==>"' 
321362     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine GOALS: 1 
321362     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine [a]==>[b] 
321378     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\proofscript_key_hide.props18189134409101705510.key 
321378     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 201.2ns 
321378     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
326657     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 5.29s 
326688     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_hide.props18189134409101705510.key 
326704     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.9ns 
326704     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine [1] goal: 0, source line: 1, command: 'macro split-prop' 
326719     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine [2] goal: 5, source line: 2, command: 'hide "a ==> d, e"' 
326719     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\proofscript_key_rule.exc.props4425115892028067658.key 
326719     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 624.8ns 
326735     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
332002     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 5.27s 
332034     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_rule.exc.props4425115892028067658.key 
332034     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10ns 
332034     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine [1] goal: 0, source line: 1, command: 'rule andLeft' 
332034     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine GOALS: 1 
332034     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine []==>[and(a,b)] 
332034     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\proofscript_key_selectFormula.props15377890630910014976.key 
332034     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 588ns 
332049     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
337382     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 5.34s 
337414     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_selectFormula.props15377890630910014976.key 
337414     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.1ns 
337414     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine [1] goal: 0, source line: 1, command: 'macro split-prop' 
337445     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine [2] goal: 3, source line: 2, command: 'select formula="b"' 
337445     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\proofscript_key_unhide.props9244071409617241575.key 
337445     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 287ns 
337445     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
342687     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 5.24s 
342767     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_unhide.props9244071409617241575.key 
342773     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.1ns 
342774     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine [1] goal: 0, source line: 1, command: 'rule impRight' 
342778     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine [2] goal: 1, source line: 2, command: 'hide '2=3 ==> 3=4'' 
342780     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine [3] goal: 3, source line: 3, command: 'unhide '2=3 ==>'' 
342785     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine [4] goal: 4, source line: 4, command: 'unhide '==> 3=4'' 
342794     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\proofscript_key_unhide2.props2049451126423207445.key 
342794     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 331.8ns 
342798     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
348005     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 5.22s 
348036     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_unhide2.props2049451126423207445.key 
348036     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 12.1ns 
348036     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine [1] goal: 0, source line: 1, command: 'rule impRight' 
348052     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine [2] goal: 1, source line: 2, command: 'hide '2=3 ==> 3=4'' 
348052     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine [3] goal: 3, source line: 3, command: 'unhide '2=3 ==> 3=4''