TestProofScriptCommand

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

tests

failures

ignored

20.016s

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.844s	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.796s	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.830s	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.858s	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.889s	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.923s	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.876s	passed

Standard output

166455     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\proofscript_key_andRight.props9386135548143935989.key 
166455     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 569.5ns 
166455     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
169242     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 2.79s 
169273     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_andRight.props9386135548143935989.key 
169289     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 11.4ns 
169289     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 1: 'rule andRight' 
169289     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\proofscript_key_hide.exc.props9899082096298309428.key 
169289     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 536.6ns 
169304     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
172064     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 2.76s 
172080     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_hide.exc.props9899082096298309428.key 
172080     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 11.1ns 
172080     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 1: 'macro split-prop' 
172095     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 2: 'hide "b ==>"' 
172095     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine GOALS: 1 
172095     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine [a]==>[b] 
172095     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\proofscript_key_hide.props4314807646382844303.key 
172095     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 146.6ns 
172095     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
174879     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 2.78s 
174910     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_hide.props4314807646382844303.key 
174910     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 11.3ns 
174910     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 1: 'macro split-prop' 
174926     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 2: 'hide "a ==> d, e"' 
174926     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\proofscript_key_rule.exc.props3922050455653358839.key 
174926     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 675.8ns 
174942     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
177770     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 2.83s 
177785     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_rule.exc.props3922050455653358839.key 
177785     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.6ns 
177785     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 1: 'rule andLeft' 
177785     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine GOALS: 1 
177785     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine []==>[and(a,b)] 
177801     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\proofscript_key_selectFormula.props7241376640870543719.key 
177801     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 679.7ns 
177801     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
180640     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 2.84s 
180671     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_selectFormula.props7241376640870543719.key 
180671     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.2ns 
180671     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 1: 'macro split-prop' 
180687     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 2: 'select formula="b"' 
180687     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\proofscript_key_unhide.props14982098867136692674.key 
180687     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 165.6ns 
180687     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
183552     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 2.87s 
183583     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_unhide.props14982098867136692674.key 
183583     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 19.3ns 
183599     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 1: 'rule impRight' 
183599     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 2: 'hide '2=3 ==> 3=4'' 
183599     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 3: 'unhide '2=3 ==>'' 
183599     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 4: 'unhide '==> 3=4'' 
183599     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\proofscript_key_unhide2.props13726957650744886634.key 
183599     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 177.4ns 
183599     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
186447     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 2.84s 
186462     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_unhide2.props13726957650744886634.key 
186462     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.1ns 
186462     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 1: 'rule impRight' 
186478     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 2: 'hide '2=3 ==> 3=4'' 
186478     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 3: 'unhide '2=3 ==> 3=4''