TestProofScriptCommand

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

tests
0

failures
0

ignored
36.085s

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.131s 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.226s 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.142s 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.110s 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.119s 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.256s 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.101s passed

Standard output

294920     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\proofscript_key_andRight.props17391319837714096796.key 
294920     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 705.6ns 
294935     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
299994     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 5.07s 
300025     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_andRight.props17391319837714096796.key 
300041     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 11ns 
300041     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine [1] goal: 0, source line: 1, command: 'rule andRight' 
300056     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\proofscript_key_hide.exc.props15081048925215467505.key 
300056     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 206ns 
300056     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
305196     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 5.15s 
305227     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_hide.exc.props15081048925215467505.key 
305259     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 12.2ns 
305259     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine [1] goal: 0, source line: 1, command: 'macro split-prop' 
305274     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine [2] goal: 1, source line: 2, command: 'hide "b ==>"' 
305279     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine GOALS: 1 
305279     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine [a]==>[b] 
305284     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\proofscript_key_hide.props18271773451243448634.key 
305284     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 169ns 
305287     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
310376     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 5.09s 
310392     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_hide.props18271773451243448634.key 
310407     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 11.5ns 
310407     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine [1] goal: 0, source line: 1, command: 'macro split-prop' 
310423     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine [2] goal: 5, source line: 2, command: 'hide "a ==> d, e"' 
310433     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\proofscript_key_rule.exc.props3314966027392085892.key 
310433     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 196.5ns 
310433     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
315487     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 5.07s 
315518     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_rule.exc.props3314966027392085892.key 
315518     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 11.3ns 
315518     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine [1] goal: 0, source line: 1, command: 'rule andLeft' 
315518     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine GOALS: 1 
315518     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine []==>[and(a,b)] 
315534     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\proofscript_key_selectFormula.props13641500061433917333.key 
315534     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 881.3ns 
315534     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
320608     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 5.06s 
320623     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_selectFormula.props13641500061433917333.key 
320623     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.7ns 
320639     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine [1] goal: 0, source line: 1, command: 'macro split-prop' 
320654     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine [2] goal: 3, source line: 2, command: 'select formula="b"' 
320654     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\proofscript_key_unhide.props9201308438630062961.key 
320654     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 181.4ns 
320654     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
325879     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 5.22s 
325894     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_unhide.props9201308438630062961.key 
325910     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 12.1ns 
325910     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine [1] goal: 0, source line: 1, command: 'rule impRight' 
325910     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine [2] goal: 1, source line: 2, command: 'hide '2=3 ==> 3=4'' 
325910     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine [3] goal: 3, source line: 3, command: 'unhide '2=3 ==>'' 
325910     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine [4] goal: 4, source line: 4, command: 'unhide '==> 3=4'' 
325926     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\proofscript_key_unhide2.props17273072053743224777.key 
325926     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 244.7ns 
325941     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
330964     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 5.03s 
330980     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_unhide2.props17273072053743224777.key 
330980     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 12.9ns 
330980     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine [1] goal: 0, source line: 1, command: 'rule impRight' 
331011     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine [2] goal: 1, source line: 2, command: 'hide '2=3 ==> 3=4'' 
331011     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine [3] goal: 3, source line: 3, command: 'unhide '2=3 ==> 3=4''