TestProofScriptCommand

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

tests

failures

ignored

22.734s

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]	3.114s	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]	3.156s	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]	3.189s	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]	3.143s	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.285s	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.377s	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]	3.470s	passed

Standard output

191429     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\proofscript_key_andRight.props620866082098110160.key 
191429     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 1.83ms 
191429     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
194493     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 3.06s 
194524     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_andRight.props620866082098110160.key 
194524     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.8ns 
194524     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 1: 'rule andRight' 
194540     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\proofscript_key_hide.exc.props5833640989854385624.key 
194540     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 488.8ns 
194540     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
197650     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 3.11s 
197682     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_hide.exc.props5833640989854385624.key 
197682     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.3ns 
197682     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 1: 'macro split-prop' 
197697     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 2: 'hide "b ==>"' 
197697     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine GOALS: 1 
197697     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine [a]==>[b] 
197697     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\proofscript_key_hide.props7687690790526217557.key 
197697     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 168ns 
197697     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
200840     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 3.14s 
200871     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_hide.props7687690790526217557.key 
200871     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.8ns 
200871     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 1: 'macro split-prop' 
200887     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 2: 'hide "a ==> d, e"' 
200903     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\proofscript_key_rule.exc.props957659470262803054.key 
200903     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 159.1ns 
200903     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
203999     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 3.1s 
204015     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_rule.exc.props957659470262803054.key 
204015     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.7ns 
204015     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 1: 'rule andLeft' 
204015     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine GOALS: 1 
204015     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine []==>[and(a,b)] 
204030     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\proofscript_key_selectFormula.props18122292349810142632.key 
204030     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 732.4ns 
204030     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
207268     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 3.23s 
207299     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_selectFormula.props18122292349810142632.key 
207299     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.4ns 
207299     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 1: 'macro split-prop' 
207315     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 2: 'select formula="b"' 
207315     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\proofscript_key_unhide.props11709801389820397041.key 
207315     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 278.8ns 
207331     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
210645     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 3.33s 
210676     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_unhide.props11709801389820397041.key 
210676     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.6ns 
210692     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 1: 'rule impRight' 
210692     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 2: 'hide '2=3 ==> 3=4'' 
210692     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 3: 'unhide '2=3 ==>'' 
210692     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 4: 'unhide '==> 3=4'' 
210707     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\proofscript_key_unhide2.props10901585092322245113.key 
210707     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 184.1ns 
210707     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
214115     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 3.41s 
214130     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_unhide2.props10901585092322245113.key 
214146     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.3ns 
214146     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 1: 'rule impRight' 
214146     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 2: 'hide '2=3 ==> 3=4'' 
214146     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 3: 'unhide '2=3 ==> 3=4''