TestProofScriptCommand
|
100%
successful |
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.293s | 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.362s | 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.380s | 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.294s | 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.440s | 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.411s | 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.360s | passed |
Standard output
209188 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\proofscript_key_andRight.props16631935141657781925.key 209188 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 1.87ms 209188 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 212424 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.23s 212456 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_andRight.props16631935141657781925.key 212456 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.4ns 212456 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 1: 'rule andRight' 212471 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\proofscript_key_hide.exc.props3649256318178273373.key 212471 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 172ns 212487 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 215786 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.31s 215818 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_hide.exc.props3649256318178273373.key 215818 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.5ns 215818 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 1: 'macro split-prop' 215833 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 2: 'hide "b ==>"' 215833 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine GOALS: 1 215833 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine [a]==>[b] 215833 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\proofscript_key_hide.props1201694032677072335.key 215833 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 149.5ns 215833 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 219163 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.33s 219179 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_hide.props1201694032677072335.key 219195 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.8ns 219195 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 1: 'macro split-prop' 219210 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 2: 'hide "a ==> d, e"' 219214 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\proofscript_key_rule.exc.props6138190486667716575.key 219214 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 215.3ns 219214 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 222478 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.26s 222494 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_rule.exc.props6138190486667716575.key 222494 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.7ns 222494 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 1: 'rule andLeft' 222509 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine GOALS: 1 222509 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine []==>[and(a,b)] 222509 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\proofscript_key_selectFormula.props6803680086298933482.key 222509 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 868.1ns 222509 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 225902 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.39s 225918 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_selectFormula.props6803680086298933482.key 225918 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9ns 225918 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 1: 'macro split-prop' 225934 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 2: 'select formula="b"' 225949 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\proofscript_key_unhide.props3297557926244029957.key 225949 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 161.4ns 225949 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 229313 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.37s 229344 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_unhide.props3297557926244029957.key 229344 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.8ns 229344 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 1: 'rule impRight' 229360 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 2: 'hide '2=3 ==> 3=4'' 229360 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 3: 'unhide '2=3 ==>'' 229360 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 4: 'unhide '==> 3=4'' 229360 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\proofscript_key_unhide2.props15584237844623427766.key 229360 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 660.1ns 229375 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 232674 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.31s 232705 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_unhide2.props15584237844623427766.key 232705 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.3ns 232705 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 1: 'rule impRight' 232721 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 2: 'hide '2=3 ==> 3=4'' 232721 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 3: 'unhide '2=3 ==> 3=4''