TestProofScriptCommand

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

tests
0

failures
0

ignored
31.560s

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.412s 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.498s 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.578s 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.322s 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.483s 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.592s 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.675s passed

Standard output

259059     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\proofscript_key_andRight.props884889567679845800.key 
259059     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 814.2ns 
259059     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
263416     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 4.35s 
263447     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_andRight.props884889567679845800.key 
263447     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 27.3ns 
263447     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine [1] goal: 0, source line: 1, command: 'rule andRight' 
263463     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\proofscript_key_hide.exc.props100409974558796652.key 
263463     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 211.8ns 
263479     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
267900     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 4.43s 
267931     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_hide.exc.props100409974558796652.key 
267946     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.9ns 
267946     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine [1] goal: 0, source line: 1, command: 'macro split-prop' 
267946     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine [2] goal: 1, source line: 2, command: 'hide "b ==>"' 
267962     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine GOALS: 1 
267962     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine [a]==>[b] 
267962     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\proofscript_key_hide.props10719331376977378104.key 
267962     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 509.7ns 
267962     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
272497     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 4.52s 
272512     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_hide.props10719331376977378104.key 
272528     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.2ns 
272528     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine [1] goal: 0, source line: 1, command: 'macro split-prop' 
272540     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine [2] goal: 5, source line: 2, command: 'hide "a ==> d, e"' 
272540     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\proofscript_key_rule.exc.props14409604901592691555.key 
272540     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 236.9ns 
272556     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
276816     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 4.26s 
276832     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_rule.exc.props14409604901592691555.key 
276863     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 28.7ns 
276863     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine [1] goal: 0, source line: 1, command: 'rule andLeft' 
276863     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine GOALS: 1 
276863     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine []==>[and(a,b)] 
276863     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\proofscript_key_selectFormula.props6610811383149620806.key 
276863     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 614.4ns 
276878     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
281284     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 4.42s 
281315     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_selectFormula.props6610811383149620806.key 
281315     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.6ns 
281315     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine [1] goal: 0, source line: 1, command: 'macro split-prop' 
281347     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine [2] goal: 3, source line: 2, command: 'select formula="b"' 
281347     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\proofscript_key_unhide.props11283321598279385616.key 
281347     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 608.1ns 
281347     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
285878     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 4.53s 
285909     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_unhide.props11283321598279385616.key 
285924     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 12.8ns 
285924     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine [1] goal: 0, source line: 1, command: 'rule impRight' 
285924     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine [2] goal: 1, source line: 2, command: 'hide '2=3 ==> 3=4'' 
285940     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine [3] goal: 3, source line: 3, command: 'unhide '2=3 ==>'' 
285940     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine [4] goal: 4, source line: 4, command: 'unhide '==> 3=4'' 
285940     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\proofscript_key_unhide2.props11971878761860063596.key 
285956     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 225.9ns 
285956     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
290584     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 4.63s 
290600     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_unhide2.props11971878761860063596.key 
290616     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.3ns 
290616     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine [1] goal: 0, source line: 1, command: 'rule impRight' 
290616     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine [2] goal: 1, source line: 2, command: 'hide '2=3 ==> 3=4'' 
290616     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine [3] goal: 3, source line: 3, command: 'unhide '2=3 ==> 3=4''