TestProofScriptCommand

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

tests
0

failures
0

ignored
31.617s

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] 5.040s 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.371s 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.264s 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.177s 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.637s 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.319s 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.809s passed

Standard output

250671     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\proofscript_key_andRight.props15347983124812961045.key 
250671     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 1.05ms 
250671     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
255178     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 4.51s 
255287     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_andRight.props15347983124812961045.key 
255303     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.8ns 
255303     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine [1] goal: 0, source line: 1, command: 'rule andRight' 
255318     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\proofscript_key_hide.exc.props14531474209867984381.key 
255318     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 157.4ns 
255318     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
259627     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 4.31s 
259643     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_hide.exc.props14531474209867984381.key 
259659     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 11.6ns 
259659     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine [1] goal: 0, source line: 1, command: 'macro split-prop' 
259659     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine [2] goal: 1, source line: 2, command: 'hide "b ==>"' 
259659     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine GOALS: 1 
259674     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine [a]==>[b] 
259747     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\proofscript_key_hide.props13587158363885640747.key 
259747     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 330.3ns 
259747     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
263892     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 4.15s 
263923     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_hide.props13587158363885640747.key 
263923     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 11.7ns 
263923     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine [1] goal: 0, source line: 1, command: 'macro split-prop' 
263939     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine [2] goal: 5, source line: 2, command: 'hide "a ==> d, e"' 
263939     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\proofscript_key_rule.exc.props8561729231390094900.key 
263939     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 152.4ns 
263939     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
268086     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 4.14s 
268102     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_rule.exc.props8561729231390094900.key 
268117     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.8ns 
268117     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine [1] goal: 0, source line: 1, command: 'rule andLeft' 
268117     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine GOALS: 1 
268117     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine []==>[and(a,b)] 
268528     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\proofscript_key_selectFormula.props8456491478970497648.key 
268528     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 815.2ns 
268528     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
272708     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 4.18s 
272739     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_selectFormula.props8456491478970497648.key 
272739     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.6ns 
272739     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine [1] goal: 0, source line: 1, command: 'macro split-prop' 
272755     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine [2] goal: 3, source line: 2, command: 'select formula="b"' 
272755     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\proofscript_key_unhide.props2066279063118982897.key 
272755     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 488.9ns 
272771     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
277044     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 4.27s 
277060     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_unhide.props2066279063118982897.key 
277060     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.6ns 
277075     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine [1] goal: 0, source line: 1, command: 'rule impRight' 
277075     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine [2] goal: 1, source line: 2, command: 'hide '2=3 ==> 3=4'' 
277075     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine [3] goal: 3, source line: 3, command: 'unhide '2=3 ==>'' 
277075     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine [4] goal: 4, source line: 4, command: 'unhide '==> 3=4'' 
277576     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\proofscript_key_unhide2.props14599040818900854317.key 
277576     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 351.3ns 
277576     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
281838     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 4.27s 
281869     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_unhide2.props14599040818900854317.key 
281869     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.3ns 
281869     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine [1] goal: 0, source line: 1, command: 'rule impRight' 
281869     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine [2] goal: 1, source line: 2, command: 'hide '2=3 ==> 3=4'' 
281869     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine [3] goal: 3, source line: 3, command: 'unhide '2=3 ==> 3=4''