TestProofScriptCommand

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

tests

failures

ignored

23.045s

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.189s	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.252s	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.284s	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.266s	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.283s	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.284s	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.487s	passed

Standard output

191821     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\proofscript_key_andRight.props2999746669336771430.key 
191821     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 517.2ns 
191821     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
194963     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 3.14s 
194994     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_andRight.props2999746669336771430.key 
194994     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.1ns 
194994     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 1: 'rule andRight' 
195010     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\proofscript_key_hide.exc.props8136552470207427502.key 
195010     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 174.9ns 
195010     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
198215     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 3.21s 
198247     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_hide.exc.props8136552470207427502.key 
198247     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.3ns 
198247     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 1: 'macro split-prop' 
198262     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 2: 'hide "b ==>"' 
198262     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine GOALS: 1 
198262     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine [a]==>[b] 
198262     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\proofscript_key_hide.props6110250876923342496.key 
198262     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 148.3ns 
198262     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
201500     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 3.23s 
201531     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_hide.props6110250876923342496.key 
201531     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.8ns 
201531     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 1: 'macro split-prop' 
201547     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 2: 'hide "a ==> d, e"' 
201547     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\proofscript_key_rule.exc.props9256307204067147146.key 
201547     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 185ns 
201562     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
204783     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 3.23s 
204814     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_rule.exc.props9256307204067147146.key 
204814     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10ns 
204814     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 1: 'rule andLeft' 
204814     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine GOALS: 1 
204814     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine []==>[and(a,b)] 
204814     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\proofscript_key_selectFormula.props5174168444520447081.key 
204814     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 733.2ns 
204830     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
208051     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 3.23s 
208082     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_selectFormula.props5174168444520447081.key 
208082     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.5ns 
208082     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 1: 'macro split-prop' 
208097     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 2: 'select formula="b"' 
208097     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\proofscript_key_unhide.props3452890024773301619.key 
208097     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 164.5ns 
208097     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
211334     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 3.23s 
211350     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_unhide.props3452890024773301619.key 
211365     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.6ns 
211365     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 1: 'rule impRight' 
211381     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 2: 'hide '2=3 ==> 3=4'' 
211381     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 3: 'unhide '2=3 ==>'' 
211381     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 4: 'unhide '==> 3=4'' 
211381     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\proofscript_key_unhide2.props8016963080630191224.key 
211381     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 172.5ns 
211381     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
214821     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 3.44s 
214837     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_unhide2.props8016963080630191224.key 
214852     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.8ns 
214852     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 1: 'rule impRight' 
214852     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 2: 'hide '2=3 ==> 3=4'' 
214852     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 3: 'unhide '2=3 ==> 3=4''