TestProofScriptCommand

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

tests
0

failures
0

ignored
36.003s

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.088s 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.212s 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.109s 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.128s 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.321s 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.095s 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.050s passed

Standard output

306575     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\proofscript_key_andRight.props18038402982065335704.key 
306575     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 1.21ms 
306575     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
311606     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 5.02s 
311637     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_andRight.props18038402982065335704.key 
311637     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 11.2ns 
311637     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine [1] goal: 0, source line: 1, command: 'rule andRight' 
311653     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\proofscript_key_hide.exc.props9791671462893514612.key 
311653     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 210.5ns 
311653     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
316818     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 5.16s 
316833     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_hide.exc.props9791671462893514612.key 
316849     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 11.4ns 
316849     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine [1] goal: 0, source line: 1, command: 'macro split-prop' 
316865     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine [2] goal: 1, source line: 2, command: 'hide "b ==>"' 
316865     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine GOALS: 1 
316865     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine [a]==>[b] 
316865     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\proofscript_key_hide.props4659166574708345513.key 
316865     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 177ns 
316865     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
321928     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 5.05s 
321944     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_hide.props4659166574708345513.key 
321959     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 12ns 
321959     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine [1] goal: 0, source line: 1, command: 'macro split-prop' 
321975     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine [2] goal: 5, source line: 2, command: 'hide "a ==> d, e"' 
321975     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\proofscript_key_rule.exc.props1724133949636307680.key 
321975     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 627.9ns 
321975     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
327071     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 5.09s 
327102     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_rule.exc.props1724133949636307680.key 
327105     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.8ns 
327105     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine [1] goal: 0, source line: 1, command: 'rule andLeft' 
327105     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine GOALS: 1 
327105     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine []==>[and(a,b)] 
327105     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\proofscript_key_selectFormula.props17111870584957605112.key 
327105     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 565.2ns 
327105     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
332380     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 5.26s 
332396     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_selectFormula.props17111870584957605112.key 
332411     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 11.8ns 
332411     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine [1] goal: 0, source line: 1, command: 'macro split-prop' 
332427     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine [2] goal: 3, source line: 2, command: 'select formula="b"' 
332443     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\proofscript_key_unhide.props3966630708524498387.key 
332443     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 594.6ns 
332443     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
337492     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 5.05s 
337508     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_unhide.props3966630708524498387.key 
337508     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 11.2ns 
337523     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine [1] goal: 0, source line: 1, command: 'rule impRight' 
337523     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine [2] goal: 1, source line: 2, command: 'hide '2=3 ==> 3=4'' 
337523     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine [3] goal: 3, source line: 3, command: 'unhide '2=3 ==>'' 
337523     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine [4] goal: 4, source line: 4, command: 'unhide '==> 3=4'' 
337539     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\proofscript_key_unhide2.props14455085646324755825.key 
337539     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 186.1ns 
337539     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
342542     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 5.01s 
342574     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_unhide2.props14455085646324755825.key 
342574     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 11.2ns 
342574     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine [1] goal: 0, source line: 1, command: 'rule impRight' 
342574     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine [2] goal: 1, source line: 2, command: 'hide '2=3 ==> 3=4'' 
342574     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine [3] goal: 3, source line: 3, command: 'unhide '2=3 ==> 3=4''