TestProofScriptCommand

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

tests

failures

ignored

23.687s

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.226s	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.337s	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.328s	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.505s	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.430s	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.516s	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.345s	passed

Standard output

194564     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\proofscript_key_andRight.props10438935824137496394.key 
194564     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 404.2ns 
194564     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
197746     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 3.18s 
197777     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_andRight.props10438935824137496394.key 
197777     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.4ns 
197777     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 1: 'rule andRight' 
197793     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\proofscript_key_hide.exc.props878456934118211864.key 
197793     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 176.6ns 
197793     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
201067     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 3.28s 
201098     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_hide.exc.props878456934118211864.key 
201098     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.6ns 
201098     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 1: 'macro split-prop' 
201098     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 2: 'hide "b ==>"' 
201098     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine GOALS: 1 
201114     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine [a]==>[b] 
201114     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\proofscript_key_hide.props18025742606409654190.key 
201114     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 152ns 
201114     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
204411     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 3.29s 
204426     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_hide.props18025742606409654190.key 
204426     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.1ns 
204442     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 1: 'macro split-prop' 
204442     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 2: 'hide "a ==> d, e"' 
204582     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\proofscript_key_rule.exc.props9712017353197113286.key 
204582     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 314.7ns 
204582     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
207917     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 3.34s 
207933     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_rule.exc.props9712017353197113286.key 
207933     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.2ns 
207949     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 1: 'rule andLeft' 
207949     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine GOALS: 1 
207949     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine []==>[and(a,b)] 
207949     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\proofscript_key_selectFormula.props15638104667248738952.key 
207949     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 1.18ms 
207949     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
211348     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 3.39s 
211364     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_selectFormula.props15638104667248738952.key 
211364     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.6ns 
211364     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 1: 'macro split-prop' 
211380     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 2: 'select formula="b"' 
211395     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\proofscript_key_unhide.props734695698262961891.key 
211395     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 172.2ns 
211395     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
214865     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 3.47s 
214880     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_unhide.props734695698262961891.key 
214896     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 11.1ns 
214896     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 1: 'rule impRight' 
214896     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 2: 'hide '2=3 ==> 3=4'' 
214896     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 3: 'unhide '2=3 ==>'' 
214896     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 4: 'unhide '==> 3=4'' 
214911     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\proofscript_key_unhide2.props13288333073625629240.key 
214911     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 485.1ns 
214911     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
218211     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 3.3s 
218226     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_unhide2.props13288333073625629240.key 
218242     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.7ns 
218242     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 1: 'rule impRight' 
218242     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 2: 'hide '2=3 ==> 3=4'' 
218242     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 3: 'unhide '2=3 ==> 3=4''