TestProofScriptCommand

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

tests

failures

ignored

19.137s

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.707s	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.670s	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.755s	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.700s	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.777s	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.801s	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.727s	passed

Standard output

160127     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\proofscript_key_andRight.props3497103125656307460.key 
160127     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 1.88ms 
160142     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
162785     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 2.66s 
162817     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_andRight.props3497103125656307460.key 
162817     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9ns 
162817     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 1: 'rule andRight' 
162832     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\proofscript_key_hide.exc.props2253305317307928874.key 
162832     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 150.5ns 
162832     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
165474     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 2.64s 
165490     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_hide.exc.props2253305317307928874.key 
165490     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.5ns 
165505     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 1: 'macro split-prop' 
165505     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 2: 'hide "b ==>"' 
165505     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine GOALS: 1 
165505     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine [a]==>[b] 
165521     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\proofscript_key_hide.props10050696982007801069.key 
165521     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 139.1ns 
165521     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
168226     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 2.71s 
168241     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_hide.props10050696982007801069.key 
168258     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.8ns 
168258     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 1: 'macro split-prop' 
168273     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 2: 'hide "a ==> d, e"' 
168273     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\proofscript_key_rule.exc.props15938607543148455520.key 
168273     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 221.1ns 
168273     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
170930     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 2.66s 
170946     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_rule.exc.props15938607543148455520.key 
170946     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9ns 
170962     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 1: 'rule andLeft' 
170962     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine GOALS: 1 
170962     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine []==>[and(a,b)] 
170962     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\proofscript_key_selectFormula.props5277461948708486645.key 
170962     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 664.3ns 
170962     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
173697     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 2.73s 
173712     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_selectFormula.props5277461948708486645.key 
173728     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.8ns 
173728     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 1: 'macro split-prop' 
173728     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 2: 'select formula="b"' 
173744     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\proofscript_key_unhide.props12123707334164748253.key 
173744     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 140.3ns 
173744     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
176511     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 2.77s 
176526     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_unhide.props12123707334164748253.key 
176542     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 11.3ns 
176542     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 1: 'rule impRight' 
176542     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 2: 'hide '2=3 ==> 3=4'' 
176542     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 3: 'unhide '2=3 ==>'' 
176542     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 4: 'unhide '==> 3=4'' 
176542     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\proofscript_key_unhide2.props15630433195514902278.key 
176542     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 169.7ns 
176558     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
179231     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 2.68s 
179247     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_unhide2.props15630433195514902278.key 
179262     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.7ns 
179262     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 1: 'rule impRight' 
179262     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 2: 'hide '2=3 ==> 3=4'' 
179262     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 3: 'unhide '2=3 ==> 3=4''