TestProofScriptCommand

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

tests

failures

ignored

21.037s

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.777s	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.821s	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.728s	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.768s	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.597s	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.410s	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.936s	passed

Standard output

177448     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\proofscript_key_andRight.props2695900380282200201.key 
177463     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 492.6ns 
177466     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
180191     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 2.73s 
180222     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_andRight.props2695900380282200201.key 
180222     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 11.7ns 
180222     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 1: 'rule andRight' 
180238     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\proofscript_key_hide.exc.props11194887173706884882.key 
180238     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 209ns 
180254     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
183000     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 2.75s 
183031     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_hide.exc.props11194887173706884882.key 
183031     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.2ns 
183031     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 1: 'macro split-prop' 
183047     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 2: 'hide "b ==>"' 
183047     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine GOALS: 1 
183047     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine [a]==>[b] 
183047     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\proofscript_key_hide.props7491112175384617324.key 
183047     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 166.2ns 
183047     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
185725     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 2.68s 
185741     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_hide.props7491112175384617324.key 
185756     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.2ns 
185756     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 1: 'macro split-prop' 
185772     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 2: 'hide "a ==> d, e"' 
185772     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\proofscript_key_rule.exc.props3615304498806394125.key 
185772     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 167.7ns 
185788     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
188514     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 2.74s 
188530     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_rule.exc.props3615304498806394125.key 
188546     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.3ns 
188546     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 1: 'rule andLeft' 
188546     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine GOALS: 1 
188546     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine []==>[and(a,b)] 
189062     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\proofscript_key_selectFormula.props893825535290613259.key 
189062     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 304.9ns 
189077     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
192004     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 2.93s 
192113     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_selectFormula.props893825535290613259.key 
192113     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.7ns 
192113     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 1: 'macro split-prop' 
192129     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 2: 'select formula="b"' 
192322     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\proofscript_key_unhide.props18256577058352509480.key 
192322     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 289.3ns 
192322     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
195499     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 3.19s 
195538     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_unhide.props18256577058352509480.key 
195544     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.6ns 
195546     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 1: 'rule impRight' 
195552     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 2: 'hide '2=3 ==> 3=4'' 
195553     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 3: 'unhide '2=3 ==>'' 
195555     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 4: 'unhide '==> 3=4'' 
195571     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\proofscript_key_unhide2.props6389607814530647909.key 
195571     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 212.3ns 
195571     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
198455     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 2.89s 
198471     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_unhide2.props6389607814530647909.key 
198471     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.3ns 
198471     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 1: 'rule impRight' 
198486     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 2: 'hide '2=3 ==> 3=4'' 
198486     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 3: 'unhide '2=3 ==> 3=4''