TestProofScriptCommand

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

tests
0

failures
0

ignored
34.606s

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.847s 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.981s 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.920s 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.897s 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.960s 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.019s 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.982s passed

Standard output

291508     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\proofscript_key_andRight.props9945380286157186742.key 
291508     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 701ns 
291508     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
296314     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 4.8s 
296345     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_andRight.props9945380286157186742.key 
296345     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.9ns 
296360     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine [1] goal: 0, source line: 1, command: 'rule andRight' 
296376     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\proofscript_key_hide.exc.props6030972163994683000.key 
296376     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 191.9ns 
296376     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
301294     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 4.92s 
301325     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_hide.exc.props6030972163994683000.key 
301325     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.4ns 
301325     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine [1] goal: 0, source line: 1, command: 'macro split-prop' 
301341     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine [2] goal: 1, source line: 2, command: 'hide "b ==>"' 
301341     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine GOALS: 1 
301341     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine [a]==>[b] 
301341     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\proofscript_key_hide.props10733754582111025411.key 
301341     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 167.5ns 
301341     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
306215     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 4.87s 
306231     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_hide.props10733754582111025411.key 
306246     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 11.2ns 
306246     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine [1] goal: 0, source line: 1, command: 'macro split-prop' 
306262     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine [2] goal: 5, source line: 2, command: 'hide "a ==> d, e"' 
306262     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\proofscript_key_rule.exc.props15489913635442944255.key 
306262     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 550.3ns 
306262     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
311130     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 4.86s 
311145     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_rule.exc.props15489913635442944255.key 
311161     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10ns 
311161     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine [1] goal: 0, source line: 1, command: 'rule andLeft' 
311161     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine GOALS: 1 
311161     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine []==>[and(a,b)] 
311161     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\proofscript_key_selectFormula.props6521599850874074463.key 
311161     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 576.9ns 
311161     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
316075     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 4.91s 
316106     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_selectFormula.props6521599850874074463.key 
316106     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 12.4ns 
316106     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine [1] goal: 0, source line: 1, command: 'macro split-prop' 
316122     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine [2] goal: 3, source line: 2, command: 'select formula="b"' 
316137     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\proofscript_key_unhide.props18047701795370964421.key 
316137     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 208.8ns 
316137     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
321094     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 4.96s 
321125     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_unhide.props18047701795370964421.key 
321125     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.6ns 
321125     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine [1] goal: 0, source line: 1, command: 'rule impRight' 
321125     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine [2] goal: 1, source line: 2, command: 'hide '2=3 ==> 3=4'' 
321125     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine [3] goal: 3, source line: 3, command: 'unhide '2=3 ==>'' 
321141     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine [4] goal: 4, source line: 4, command: 'unhide '==> 3=4'' 
321141     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\proofscript_key_unhide2.props14825477939154224886.key 
321141     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 177.3ns 
321141     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
326093     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 4.95s 
326108     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_unhide2.props14825477939154224886.key 
326124     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 11.5ns 
326124     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine [1] goal: 0, source line: 1, command: 'rule impRight' 
326124     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine [2] goal: 1, source line: 2, command: 'hide '2=3 ==> 3=4'' 
326124     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine [3] goal: 3, source line: 3, command: 'unhide '2=3 ==> 3=4''