TestProofScriptCommand

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

tests
0

failures
0

ignored
27.381s

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] 3.858s 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.875s 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.956s 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.953s 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.907s 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.908s 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.924s passed

Standard output

233155     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\proofscript_key_andRight.props7853749685912603899.key 
233171     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 935.2ns 
233171     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
236971     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 3.81s 
237002     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_andRight.props7853749685912603899.key 
237002     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.1ns 
237002     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine [1] goal: 0, source line: 1, command: 'rule andRight' 
237018     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\proofscript_key_hide.exc.props7548662942878551946.key 
237018     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 169.4ns 
237018     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
240847     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 3.82s 
240878     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_hide.exc.props7548662942878551946.key 
240878     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.7ns 
240878     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine [1] goal: 0, source line: 1, command: 'macro split-prop' 
240894     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine [2] goal: 1, source line: 2, command: 'hide "b ==>"' 
240894     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine GOALS: 1 
240894     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine [a]==>[b] 
240910     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\proofscript_key_hide.props16394818325764320720.key 
240910     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 188.6ns 
240910     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
244804     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 3.9s 
244835     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_hide.props16394818325764320720.key 
244835     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9ns 
244835     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine [1] goal: 0, source line: 1, command: 'macro split-prop' 
244851     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine [2] goal: 5, source line: 2, command: 'hide "a ==> d, e"' 
244851     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\proofscript_key_rule.exc.props3830511223803588524.key 
244851     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 484.7ns 
244851     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
248790     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 3.93s 
248806     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_rule.exc.props3830511223803588524.key 
248806     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.8ns 
248806     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine [1] goal: 0, source line: 1, command: 'rule andLeft' 
248806     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine GOALS: 1 
248806     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine []==>[and(a,b)] 
248822     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\proofscript_key_selectFormula.props6401118138699501702.key 
248822     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 542.7ns 
248822     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
252667     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 3.84s 
252683     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_selectFormula.props6401118138699501702.key 
252698     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.8ns 
252698     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine [1] goal: 0, source line: 1, command: 'macro split-prop' 
252714     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine [2] goal: 3, source line: 2, command: 'select formula="b"' 
252714     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\proofscript_key_unhide.props5285833316844859253.key 
252714     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 150.2ns 
252730     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
256575     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 3.85s 
256606     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_unhide.props5285833316844859253.key 
256606     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.3ns 
256606     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine [1] goal: 0, source line: 1, command: 'rule impRight' 
256606     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine [2] goal: 1, source line: 2, command: 'hide '2=3 ==> 3=4'' 
256606     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine [3] goal: 3, source line: 3, command: 'unhide '2=3 ==>'' 
256606     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine [4] goal: 4, source line: 4, command: 'unhide '==> 3=4'' 
256622     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\proofscript_key_unhide2.props4589547006665967646.key 
256622     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 154.4ns 
256622     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
260514     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 3.89s 
260530     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_unhide2.props4589547006665967646.key 
260546     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 11ns 
260546     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine [1] goal: 0, source line: 1, command: 'rule impRight' 
260546     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine [2] goal: 1, source line: 2, command: 'hide '2=3 ==> 3=4'' 
260546     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine [3] goal: 3, source line: 3, command: 'unhide '2=3 ==> 3=4''