TestProofScriptCommand

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

tests

failures

ignored

20.211s

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.847s	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.908s	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.807s	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.851s	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.902s	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.922s	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.974s	passed

Standard output

173014     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\proofscript_key_andRight.props1163764409441256411.key 
173014     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 854ns 
173014     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
175815     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 2.79s 
175831     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_andRight.props1163764409441256411.key 
175831     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.5ns 
175846     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 1: 'rule andRight' 
175877     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\proofscript_key_hide.exc.props1985795449797488576.key 
175877     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 166.7ns 
175877     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
178743     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 2.87s 
178774     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_hide.exc.props1985795449797488576.key 
178774     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.3ns 
178774     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 1: 'macro split-prop' 
178774     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 2: 'hide "b ==>"' 
178774     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine GOALS: 1 
178774     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine [a]==>[b] 
178805     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\proofscript_key_hide.props8598581403620340463.key 
178805     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 164.8ns 
178805     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
181556     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 2.75s 
181572     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_hide.props8598581403620340463.key 
181572     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.3ns 
181572     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 1: 'macro split-prop' 
181587     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 2: 'hide "a ==> d, e"' 
181625     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\proofscript_key_rule.exc.props13167949847038932515.key 
181625     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 169.6ns 
181625     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
184401     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 2.78s 
184417     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_rule.exc.props13167949847038932515.key 
184417     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.2ns 
184417     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 1: 'rule andLeft' 
184432     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine GOALS: 1 
184432     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine []==>[and(a,b)] 
184432     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\proofscript_key_selectFormula.props16171112142111275385.key 
184432     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 742.5ns 
184448     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
187290     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 2.85s 
187306     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_selectFormula.props16171112142111275385.key 
187321     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.2ns 
187321     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 1: 'macro split-prop' 
187321     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 2: 'select formula="b"' 
187368     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\proofscript_key_unhide.props18300187551618624523.key 
187368     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 189.7ns 
187368     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
190225     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 2.86s 
190241     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_unhide.props18300187551618624523.key 
190241     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.9ns 
190241     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 1: 'rule impRight' 
190257     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 2: 'hide '2=3 ==> 3=4'' 
190257     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 3: 'unhide '2=3 ==>'' 
190257     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 4: 'unhide '==> 3=4'' 
190257     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\proofscript_key_unhide2.props13548556195709485937.key 
190257     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 189.1ns 
190257     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
193197     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 2.94s 
193212     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_unhide2.props13548556195709485937.key 
193212     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.5ns 
193212     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 1: 'rule impRight' 
193228     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 2: 'hide '2=3 ==> 3=4'' 
193228     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 3: 'unhide '2=3 ==> 3=4''