TestProofScriptCommand

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

tests
0

failures
0

ignored
28.883s

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] 4.087s 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.128s 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.119s 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.172s 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.143s 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.133s 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.101s passed

Standard output

242419     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\proofscript_key_andRight.props7908029738150904910.key 
242419     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 646ns 
242419     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
246446     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 4.03s 
246477     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_andRight.props7908029738150904910.key 
246477     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.6ns 
246477     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine [1] goal: 0, source line: 1, command: 'rule andRight' 
246493     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\proofscript_key_hide.exc.props16828089638819275466.key 
246493     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 181.8ns 
246493     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
250574     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 4.08s 
250606     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_hide.exc.props16828089638819275466.key 
250606     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.9ns 
250606     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine [1] goal: 0, source line: 1, command: 'macro split-prop' 
250621     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine [2] goal: 1, source line: 2, command: 'hide "b ==>"' 
250621     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine GOALS: 1 
250621     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine [a]==>[b] 
250621     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\proofscript_key_hide.props1110262198904929373.key 
250621     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 142ns 
250621     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
254710     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 4.08s 
254725     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_hide.props1110262198904929373.key 
254725     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.3ns 
254725     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine [1] goal: 0, source line: 1, command: 'macro split-prop' 
254741     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine [2] goal: 5, source line: 2, command: 'hide "a ==> d, e"' 
254741     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\proofscript_key_rule.exc.props7224993050167385082.key 
254741     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 153.9ns 
254757     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
258883     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 4.14s 
258914     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_rule.exc.props7224993050167385082.key 
258914     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.6ns 
258914     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine [1] goal: 0, source line: 1, command: 'rule andLeft' 
258914     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine GOALS: 1 
258914     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine []==>[and(a,b)] 
258914     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\proofscript_key_selectFormula.props18035607682785897297.key 
258930     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 564.5ns 
258930     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
263012     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 4.09s 
263027     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_selectFormula.props18035607682785897297.key 
263043     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.4ns 
263043     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine [1] goal: 0, source line: 1, command: 'macro split-prop' 
263058     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine [2] goal: 3, source line: 2, command: 'select formula="b"' 
263058     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\proofscript_key_unhide.props8789046292477607428.key 
263058     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 165.2ns 
263058     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
267144     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 4.09s 
267160     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_unhide.props8789046292477607428.key 
267176     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.8ns 
267176     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine [1] goal: 0, source line: 1, command: 'rule impRight' 
267176     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine [2] goal: 1, source line: 2, command: 'hide '2=3 ==> 3=4'' 
267176     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine [3] goal: 3, source line: 3, command: 'unhide '2=3 ==>'' 
267176     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine [4] goal: 4, source line: 4, command: 'unhide '==> 3=4'' 
267191     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\proofscript_key_unhide2.props8785067572022935296.key 
267191     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 462.8ns 
267191     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
271277     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 4.08s 
271293     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_unhide2.props8785067572022935296.key 
271293     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.7ns 
271293     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine [1] goal: 0, source line: 1, command: 'rule impRight' 
271293     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine [2] goal: 1, source line: 2, command: 'hide '2=3 ==> 3=4'' 
271293     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine [3] goal: 3, source line: 3, command: 'unhide '2=3 ==> 3=4''