TestProofScriptCommand

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

tests

failures

ignored

30.042s

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]	4.139s	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]	4.313s	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]	4.252s	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]	4.393s	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]	4.407s	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]	4.410s	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]	4.128s	passed

Standard output

231883     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\proofscript_key_andRight.props16739452299663768828.key 
231883     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 590.9ns 
231883     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
235980     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 4.09s 
235995     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_andRight.props16739452299663768828.key 
236011     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.3ns 
236011     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 1: 'rule andRight' 
236027     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\proofscript_key_hide.exc.props8364277457598928850.key 
236027     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 185.8ns 
236027     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
240278     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 4.25s 
240310     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_hide.exc.props8364277457598928850.key 
240310     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.3ns 
240310     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 1: 'macro split-prop' 
240310     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 2: 'hide "b ==>"' 
240325     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine GOALS: 1 
240325     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine [a]==>[b] 
240325     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\proofscript_key_hide.props11360961542378090264.key 
240325     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 187.6ns 
240325     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
244531     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 4.21s 
244562     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_hide.props11360961542378090264.key 
244562     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10ns 
244562     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 1: 'macro split-prop' 
244578     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 2: 'hide "a ==> d, e"' 
244578     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\proofscript_key_rule.exc.props11732712575457193978.key 
244593     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 191.4ns 
244593     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
248940     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 4.35s 
248972     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_rule.exc.props11732712575457193978.key 
248972     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.7ns 
248972     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 1: 'rule andLeft' 
248972     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine GOALS: 1 
248972     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine []==>[and(a,b)] 
248972     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\proofscript_key_selectFormula.props2387351609982893865.key 
248972     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 650.6ns 
248972     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
253318     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 4.34s 
253349     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_selectFormula.props2387351609982893865.key 
253349     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 11ns 
253349     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 1: 'macro split-prop' 
253380     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 2: 'select formula="b"' 
253380     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\proofscript_key_unhide.props18039402187429348379.key 
253380     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 595.1ns 
253396     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
257744     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 4.36s 
257776     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_unhide.props18039402187429348379.key 
257776     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9ns 
257776     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 1: 'rule impRight' 
257791     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 2: 'hide '2=3 ==> 3=4'' 
257791     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 3: 'unhide '2=3 ==>'' 
257791     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 4: 'unhide '==> 3=4'' 
257791     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\proofscript_key_unhide2.props10295805549377068981.key 
257791     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 238.2ns 
257807     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
261887     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 4.08s 
261903     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_unhide2.props10295805549377068981.key 
261903     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.2ns 
261903     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 1: 'rule impRight' 
261903     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 2: 'hide '2=3 ==> 3=4'' 
261903     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 3: 'unhide '2=3 ==> 3=4''