TestProofScriptCommand

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

tests

failures

ignored

19.778s

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.809s	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.813s	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.768s	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.868s	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.769s	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.829s	passed

Standard output

165117     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\proofscript_key_andRight.props17565494354717891912.key 
165117     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 533.3ns 
165117     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
167895     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 2.77s 
167910     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_andRight.props17565494354717891912.key 
167926     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.8ns 
167926     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 1: 'rule andRight' 
167926     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\proofscript_key_hide.exc.props14728185485899820565.key 
167926     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 518.3ns 
167941     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
170712     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 2.77s 
170728     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_hide.exc.props14728185485899820565.key 
170728     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 12.2ns 
170728     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 1: 'macro split-prop' 
170744     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 2: 'hide "b ==>"' 
170744     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine GOALS: 1 
170744     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine [a]==>[b] 
170744     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\proofscript_key_hide.props10157233325934081246.key 
170744     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 152.1ns 
170744     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
173469     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 2.72s 
173484     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_hide.props10157233325934081246.key 
173500     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 12ns 
173500     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 1: 'macro split-prop' 
173500     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 2: 'hide "a ==> d, e"' 
173516     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\proofscript_key_rule.exc.props1236217953839390648.key 
173516     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 529.1ns 
173516     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
176367     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 2.85s 
176382     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_rule.exc.props1236217953839390648.key 
176382     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.9ns 
176382     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 1: 'rule andLeft' 
176382     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine GOALS: 1 
176382     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine []==>[and(a,b)] 
176398     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\proofscript_key_selectFormula.props7709550655478626817.key 
176398     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 982.6ns 
176398     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
179126     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 2.73s 
179141     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_selectFormula.props7709550655478626817.key 
179141     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.8ns 
179141     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 1: 'macro split-prop' 
179156     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 2: 'select formula="b"' 
179156     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\proofscript_key_unhide.props3508599410225023179.key 
179156     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 458.9ns 
179172     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
182044     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 2.88s 
182060     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_unhide.props3508599410225023179.key 
182075     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.2ns 
182075     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 1: 'rule impRight' 
182075     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 2: 'hide '2=3 ==> 3=4'' 
182075     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 3: 'unhide '2=3 ==>'' 
182075     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 4: 'unhide '==> 3=4'' 
182075     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\proofscript_key_unhide2.props10150373930596218582.key 
182075     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 156.6ns 
182075     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
184784     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 2.7s 
184799     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_unhide2.props10150373930596218582.key 
184815     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.5ns 
184878     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 1: 'rule impRight' 
184893     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 2: 'hide '2=3 ==> 3=4'' 
184893     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 3: 'unhide '2=3 ==> 3=4''