TestProofScriptCommand

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

tests

failures

ignored

23.543s

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.265s	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.410s	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.392s	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.235s	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.267s	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.518s	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.456s	passed

Standard output

204028     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\proofscript_key_andRight.props14904416585676066832.key 
204028     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 608.3ns 
204028     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
207249     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 3.21s 
207281     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_andRight.props14904416585676066832.key 
207296     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9ns 
207296     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 1: 'rule andRight' 
207296     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\proofscript_key_hide.exc.props16752863135043818573.key 
207296     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 571ns 
207312     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
210660     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 3.35s 
210691     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_hide.exc.props16752863135043818573.key 
210691     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.4ns 
210691     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 1: 'macro split-prop' 
210707     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 2: 'hide "b ==>"' 
210707     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine GOALS: 1 
210707     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine [a]==>[b] 
210707     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\proofscript_key_hide.props9137746962367293853.key 
210707     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 176.2ns 
210707     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
214053     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 3.34s 
214068     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_hide.props9137746962367293853.key 
214084     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.8ns 
214084     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 1: 'macro split-prop' 
214100     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 2: 'hide "a ==> d, e"' 
214100     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\proofscript_key_rule.exc.props8005495271995074856.key 
214100     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 203ns 
214100     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
217305     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 3.19s 
217321     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_rule.exc.props8005495271995074856.key 
217336     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.8ns 
217336     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 1: 'rule andLeft' 
217336     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine GOALS: 1 
217336     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine []==>[and(a,b)] 
217336     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\proofscript_key_selectFormula.props17726002563583081387.key 
217336     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 1.11ms 
217352     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
220557     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 3.21s 
220589     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_selectFormula.props17726002563583081387.key 
220589     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.7ns 
220589     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 1: 'macro split-prop' 
220604     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 2: 'select formula="b"' 
220604     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\proofscript_key_unhide.props14585750299879647306.key 
220604     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 154.6ns 
220620     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
224075     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 3.45s 
224091     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_unhide.props14585750299879647306.key 
224106     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.5ns 
224106     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 1: 'rule impRight' 
224122     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 2: 'hide '2=3 ==> 3=4'' 
224122     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 3: 'unhide '2=3 ==>'' 
224122     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 4: 'unhide '==> 3=4'' 
224138     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\proofscript_key_unhide2.props11856723092086586480.key 
224138     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 216.3ns 
224138     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
227530     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 3.39s 
227546     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_unhide2.props11856723092086586480.key 
227546     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8ns 
227546     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 1: 'rule impRight' 
227571     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 2: 'hide '2=3 ==> 3=4'' 
227571     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 3: 'unhide '2=3 ==> 3=4''