TestProofScriptCommand

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

tests
0

failures
0

ignored
30.821s

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.379s 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.343s 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.497s 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.371s 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.343s 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.404s 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.484s passed

Standard output

254590     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\proofscript_key_andRight.props1262917302787334898.key 
254590     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 775.2ns 
254590     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
258914     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 4.32s 
258945     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_andRight.props1262917302787334898.key 
258945     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 11.8ns 
258945     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine [1] goal: 0, source line: 1, command: 'rule andRight' 
258961     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\proofscript_key_hide.exc.props7770393441865260609.key 
258961     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 225.4ns 
258961     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
263257     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 4.3s 
263289     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_hide.exc.props7770393441865260609.key 
263289     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.6ns 
263289     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine [1] goal: 0, source line: 1, command: 'macro split-prop' 
263304     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine [2] goal: 1, source line: 2, command: 'hide "b ==>"' 
263304     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine GOALS: 1 
263304     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine [a]==>[b] 
263304     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\proofscript_key_hide.props17127960637287595964.key 
263304     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 186ns 
263304     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
267724     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 4.42s 
267755     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_hide.props17127960637287595964.key 
267755     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 12.3ns 
267755     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine [1] goal: 0, source line: 1, command: 'macro split-prop' 
267771     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine [2] goal: 5, source line: 2, command: 'hide "a ==> d, e"' 
267802     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\proofscript_key_rule.exc.props11879072631344732675.key 
267802     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 255.2ns 
267802     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
272159     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 4.34s 
272175     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_rule.exc.props11879072631344732675.key 
272175     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 11ns 
272175     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine [1] goal: 0, source line: 1, command: 'rule andLeft' 
272175     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine GOALS: 1 
272175     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine []==>[and(a,b)] 
272190     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\proofscript_key_selectFormula.props5468783588144628296.key 
272190     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 888ns 
272190     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
276472     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 4.28s 
276504     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_selectFormula.props5468783588144628296.key 
276504     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.3ns 
276504     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine [1] goal: 0, source line: 1, command: 'macro split-prop' 
276519     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine [2] goal: 3, source line: 2, command: 'select formula="b"' 
276519     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\proofscript_key_unhide.props6593769840626692936.key 
276519     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 531.6ns 
276535     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
280878     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 4.35s 
280909     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_unhide.props6593769840626692936.key 
280909     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 12.2ns 
280909     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine [1] goal: 0, source line: 1, command: 'rule impRight' 
280924     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine [2] goal: 1, source line: 2, command: 'hide '2=3 ==> 3=4'' 
280924     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine [3] goal: 3, source line: 3, command: 'unhide '2=3 ==>'' 
280924     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine [4] goal: 4, source line: 4, command: 'unhide '==> 3=4'' 
280924     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\proofscript_key_unhide2.props9194903003436348640.key 
280924     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 202.7ns 
280924     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
285377     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 4.44s 
285393     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_unhide2.props9194903003436348640.key 
285393     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.4ns 
285393     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine [1] goal: 0, source line: 1, command: 'rule impRight' 
285393     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine [2] goal: 1, source line: 2, command: 'hide '2=3 ==> 3=4'' 
285408     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine [3] goal: 3, source line: 3, command: 'unhide '2=3 ==> 3=4''