TestProofScriptCommand

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

tests

failures

ignored

22.656s

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]	3.239s	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]	3.173s	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]	3.334s	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]	3.355s	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]	3.187s	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]	3.199s	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]	3.169s	passed

Standard output

191587     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\proofscript_key_andRight.props7184676958127176903.key 
191587     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 580.3ns 
191587     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
194782     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 3.2s 
194813     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_andRight.props7184676958127176903.key 
194813     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.8ns 
194813     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 1: 'rule andRight' 
194828     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\proofscript_key_hide.exc.props4694691579710585241.key 
194828     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 518.9ns 
194844     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
197955     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 3.12s 
197986     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_hide.exc.props4694691579710585241.key 
197986     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.5ns 
197986     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 1: 'macro split-prop' 
198002     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 2: 'hide "b ==>"' 
198002     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine GOALS: 1 
198002     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine [a]==>[b] 
198002     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\proofscript_key_hide.props17676128923531345220.key 
198002     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 150.1ns 
198002     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
201289     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 3.29s 
201320     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_hide.props17676128923531345220.key 
201320     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.6ns 
201320     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 1: 'macro split-prop' 
201336     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 2: 'hide "a ==> d, e"' 
201336     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\proofscript_key_rule.exc.props15058404833808925539.key 
201336     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 520.1ns 
201351     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
204662     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 3.31s 
204678     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_rule.exc.props15058404833808925539.key 
204693     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.3ns 
204693     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 1: 'rule andLeft' 
204693     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine GOALS: 1 
204693     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine []==>[and(a,b)] 
204693     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\proofscript_key_selectFormula.props7274654242164805908.key 
204693     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 762.6ns 
204693     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
207819     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 3.12s 
207834     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_selectFormula.props7274654242164805908.key 
207850     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.5ns 
207850     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 1: 'macro split-prop' 
207881     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 2: 'select formula="b"' 
207881     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\proofscript_key_unhide.props9471492135808195503.key 
207881     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 170.1ns 
207881     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
211049     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 3.16s 
211065     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_unhide.props9471492135808195503.key 
211080     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.7ns 
211080     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 1: 'rule impRight' 
211080     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 2: 'hide '2=3 ==> 3=4'' 
211080     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 3: 'unhide '2=3 ==>'' 
211080     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 4: 'unhide '==> 3=4'' 
211096     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\proofscript_key_unhide2.props17931375564627533338.key 
211096     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 156.6ns 
211096     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
214218     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 3.13s 
214234     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_unhide2.props17931375564627533338.key 
214234     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.7ns 
214234     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 1: 'rule impRight' 
214249     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 2: 'hide '2=3 ==> 3=4'' 
214249     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 3: 'unhide '2=3 ==> 3=4''