TestProofScriptCommand

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

tests
0

failures
0

ignored
30.771s

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.271s 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.392s 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.442s 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.485s 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.550s 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.441s 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.190s passed

Standard output

255447     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\proofscript_key_andRight.props15761837005986016867.key 
255447     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 836.4ns 
255463     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
259669     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 4.22s 
259700     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_andRight.props15761837005986016867.key 
259700     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.8ns 
259700     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine [1] goal: 0, source line: 1, command: 'rule andRight' 
259716     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\proofscript_key_hide.exc.props15379080794060150332.key 
259716     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 173.3ns 
259731     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
264061     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 4.34s 
264093     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_hide.exc.props15379080794060150332.key 
264093     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.4ns 
264093     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine [1] goal: 0, source line: 1, command: 'macro split-prop' 
264108     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine [2] goal: 1, source line: 2, command: 'hide "b ==>"' 
264108     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine GOALS: 1 
264108     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine [a]==>[b] 
264108     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\proofscript_key_hide.props7421652372173156548.key 
264108     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 165.8ns 
264108     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
268504     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 4.4s 
268535     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_hide.props7421652372173156548.key 
268535     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10ns 
268535     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine [1] goal: 0, source line: 1, command: 'macro split-prop' 
268550     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine [2] goal: 5, source line: 2, command: 'hide "a ==> d, e"' 
268566     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\proofscript_key_rule.exc.props9872937338800612292.key 
268566     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 176.9ns 
268566     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
273006     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 4.45s 
273037     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_rule.exc.props9872937338800612292.key 
273037     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.6ns 
273037     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine [1] goal: 0, source line: 1, command: 'rule andLeft' 
273037     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine GOALS: 1 
273037     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine []==>[and(a,b)] 
273053     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\proofscript_key_selectFormula.props10698851128728308987.key 
273053     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 697.5ns 
273053     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
277525     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 4.48s 
277556     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_selectFormula.props10698851128728308987.key 
277572     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.3ns 
277572     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine [1] goal: 0, source line: 1, command: 'macro split-prop' 
277588     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine [2] goal: 3, source line: 2, command: 'select formula="b"' 
277588     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\proofscript_key_unhide.props8571924706865745859.key 
277588     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 208ns 
277588     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
281982     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 4.39s 
282013     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_unhide.props8571924706865745859.key 
282013     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.3ns 
282013     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine [1] goal: 0, source line: 1, command: 'rule impRight' 
282013     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine [2] goal: 1, source line: 2, command: 'hide '2=3 ==> 3=4'' 
282013     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine [3] goal: 3, source line: 3, command: 'unhide '2=3 ==>'' 
282029     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine [4] goal: 4, source line: 4, command: 'unhide '==> 3=4'' 
282029     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\proofscript_key_unhide2.props17957594515159697835.key 
282029     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 176.8ns 
282029     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
286172     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 4.14s 
286188     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_unhide2.props17957594515159697835.key 
286203     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10ns 
286203     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine [1] goal: 0, source line: 1, command: 'rule impRight' 
286203     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine [2] goal: 1, source line: 2, command: 'hide '2=3 ==> 3=4'' 
286203     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine [3] goal: 3, source line: 3, command: 'unhide '2=3 ==> 3=4''