TestProofScriptCommand

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

tests
0

failures
0

ignored
35.408s

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.016s 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] 5.068s 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] 5.175s 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] 5.026s 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] 5.046s 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.059s 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] 5.018s passed

Standard output

309129     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\proofscript_key_andRight.props49332608986196432.key 
309129     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 708.6ns 
309133     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
314093     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 4.96s 
314125     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_andRight.props49332608986196432.key 
314125     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.9ns 
314125     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine [1] goal: 0, source line: 1, command: 'rule andRight' 
314140     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\proofscript_key_hide.exc.props16011681053965766514.key 
314140     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 193.2ns 
314156     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
319150     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 5s 
319181     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_hide.exc.props16011681053965766514.key 
319181     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 39.4ns 
319181     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine [1] goal: 0, source line: 1, command: 'macro split-prop' 
319197     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine [2] goal: 1, source line: 2, command: 'hide "b ==>"' 
319206     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine GOALS: 1 
319207     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine [a]==>[b] 
319209     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\proofscript_key_hide.props14951140775177943187.key 
319209     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 339.4ns 
319209     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
324322     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 5.11s 
324353     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_hide.props14951140775177943187.key 
324353     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.1ns 
324353     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine [1] goal: 0, source line: 1, command: 'macro split-prop' 
324369     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine [2] goal: 5, source line: 2, command: 'hide "a ==> d, e"' 
324389     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\proofscript_key_rule.exc.props14015414654465616920.key 
324389     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 294.9ns 
324393     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
329380     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 4.99s 
329395     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_rule.exc.props14015414654465616920.key 
329395     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.8ns 
329395     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine [1] goal: 0, source line: 1, command: 'rule andLeft' 
329411     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine GOALS: 1 
329411     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine []==>[and(a,b)] 
329411     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\proofscript_key_selectFormula.props16824876641208621481.key 
329411     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 1.07ms 
329411     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
334411     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 4.99s 
334427     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_selectFormula.props16824876641208621481.key 
334442     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.6ns 
334442     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine [1] goal: 0, source line: 1, command: 'macro split-prop' 
334458     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine [2] goal: 3, source line: 2, command: 'select formula="b"' 
334458     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\proofscript_key_unhide.props14806900134981803602.key 
334458     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 403.1ns 
334474     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
339470     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 5s 
339501     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_unhide.props14806900134981803602.key 
339501     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.8ns 
339501     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine [1] goal: 0, source line: 1, command: 'rule impRight' 
339501     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine [2] goal: 1, source line: 2, command: 'hide '2=3 ==> 3=4'' 
339517     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine [3] goal: 3, source line: 3, command: 'unhide '2=3 ==>'' 
339517     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine [4] goal: 4, source line: 4, command: 'unhide '==> 3=4'' 
339517     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\proofscript_key_unhide2.props13550403077004469978.key 
339517     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 561.1ns 
339533     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
344505     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 4.98s 
344536     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_unhide2.props13550403077004469978.key 
344536     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 25.6ns 
344536     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine [1] goal: 0, source line: 1, command: 'rule impRight' 
344536     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine [2] goal: 1, source line: 2, command: 'hide '2=3 ==> 3=4'' 
344536     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine [3] goal: 3, source line: 3, command: 'unhide '2=3 ==> 3=4''