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.345s | 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.148s | 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.068s | 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.356s | 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.204s | 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] | 2.849s | 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.331s | passed |
Standard output
200062 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\proofscript_key_andRight.props14385773463512950651.key 200062 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 477.6ns 200062 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 203358 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.3s 203389 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_andRight.props14385773463512950651.key 203389 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.9ns 203389 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 1: 'rule andRight' 203405 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\proofscript_key_hide.exc.props14442885129876770219.key 203405 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 186ns 203405 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 206506 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.1s 206522 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_hide.exc.props14442885129876770219.key 206522 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.9ns 206537 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 1: 'macro split-prop' 206537 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 2: 'hide "b ==>"' 206537 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine GOALS: 1 206537 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine [a]==>[b] 206537 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\proofscript_key_hide.props1395186044987724140.key 206537 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 146.1ns 206553 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 209543 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3s 209559 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_hide.props1395186044987724140.key 209575 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.7ns 209575 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 1: 'macro split-prop' 209604 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 2: 'hide "a ==> d, e"' 209610 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\proofscript_key_rule.exc.props12658203607708379987.key 209611 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 193.2ns 209614 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 212947 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.33s 212963 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_rule.exc.props12658203607708379987.key 212963 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.8ns 212963 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 1: 'rule andLeft' 212963 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine GOALS: 1 212963 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine []==>[and(a,b)] 212979 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\proofscript_key_selectFormula.props8048660933119991411.key 212979 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 1.29ms 212979 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 216137 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.15s 216153 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_selectFormula.props8048660933119991411.key 216153 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.9ns 216153 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 1: 'macro split-prop' 216168 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 2: 'select formula="b"' 216184 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\proofscript_key_unhide.props14675864818044743284.key 216184 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 1.13ms 216184 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 218989 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.8s 219005 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_unhide.props14675864818044743284.key 219005 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.3ns 219020 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 1: 'rule impRight' 219020 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 2: 'hide '2=3 ==> 3=4'' 219020 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 3: 'unhide '2=3 ==>'' 219020 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 4: 'unhide '==> 3=4'' 219020 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\proofscript_key_unhide2.props2821235749796448028.key 219020 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 630.6ns 219036 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 222303 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.28s 222319 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_unhide2.props2821235749796448028.key 222334 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.1ns 222334 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 1: 'rule impRight' 222334 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 2: 'hide '2=3 ==> 3=4'' 222334 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 3: 'unhide '2=3 ==> 3=4''