TestProofScriptCommand

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

tests

failures

ignored

18.984s

duration

100%

successful

Tests
Standard output

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]	2.646s	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]	2.778s	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]	2.731s	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]	2.676s	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]	2.781s	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]	2.643s	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]	2.729s	passed

Standard output

155623     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\proofscript_key_andRight.props5866541384905781980.key 
155623     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 1.57ms 
155623     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
158220     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 2.6s 
158251     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_andRight.props5866541384905781980.key 
158251     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 6.6ns 
158251     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 1: 'rule andRight' 
158266     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\proofscript_key_hide.exc.props13848232251429789988.key 
158266     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 156.1ns 
158266     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
161002     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 2.73s 
161018     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_hide.exc.props13848232251429789988.key 
161018     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.3ns 
161018     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 1: 'macro split-prop' 
161034     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 2: 'hide "b ==>"' 
161034     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine GOALS: 1 
161034     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine [a]==>[b] 
161034     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\proofscript_key_hide.props18185877825342093399.key 
161034     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 125.8ns 
161034     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
163722     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 2.68s 
163753     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_hide.props18185877825342093399.key 
163753     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.5ns 
163753     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 1: 'macro split-prop' 
163769     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 2: 'hide "a ==> d, e"' 
163769     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\proofscript_key_rule.exc.props9796725222807688637.key 
163769     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 150.7ns 
163769     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
166412     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 2.64s 
166428     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_rule.exc.props9796725222807688637.key 
166428     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.4ns 
166428     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 1: 'rule andLeft' 
166443     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine GOALS: 1 
166443     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine []==>[and(a,b)] 
166443     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\proofscript_key_selectFormula.props11286328609507034092.key 
166443     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 926.2ns 
166443     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
169179     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 2.74s 
169210     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_selectFormula.props11286328609507034092.key 
169210     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 6.8ns 
169210     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 1: 'macro split-prop' 
169210     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 2: 'select formula="b"' 
169225     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\proofscript_key_unhide.props12330786864958412115.key 
169225     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 144.9ns 
169225     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
171836     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 2.6s 
171852     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_unhide.props12330786864958412115.key 
171852     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.1ns 
171852     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 1: 'rule impRight' 
171867     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 2: 'hide '2=3 ==> 3=4'' 
171867     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 3: 'unhide '2=3 ==>'' 
171867     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 4: 'unhide '==> 3=4'' 
171867     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\proofscript_key_unhide2.props15186901205006824756.key 
171867     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 133.4ns 
171867     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
174556     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 2.69s 
174572     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_unhide2.props15186901205006824756.key 
174587     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 6.7ns 
174587     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 1: 'rule impRight' 
174587     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 2: 'hide '2=3 ==> 3=4'' 
174587     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 3: 'unhide '2=3 ==> 3=4''