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.781s | 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.970s | 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.891s | 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.985s | 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.908s | 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.972s | 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.891s | passed |
Standard output
226674 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\proofscript_key_andRight.props11085284945469826371.key 226674 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 2.25ms 226674 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 230425 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.73s 230441 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_andRight.props11085284945469826371.key 230457 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.5ns 230457 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 1: 'rule andRight' on goal 0 (script from line 1) 230472 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\proofscript_key_hide.exc.props16106640102970881583.key 230472 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 358.3ns 230472 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 234381 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.91s 234412 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_hide.exc.props16106640102970881583.key 234412 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.6ns 234412 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 1: 'macro split-prop' on goal 0 (script from line 1) 234428 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 2: 'hide "b ==>"' on goal 1 (script from line 2) 234428 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine GOALS: 1 234428 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine [a]==>[b] 234428 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\proofscript_key_hide.props12144165276924703427.key 234428 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 182.9ns 234443 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 238274 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.83s 238306 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_hide.props12144165276924703427.key 238306 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.5ns 238306 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 1: 'macro split-prop' on goal 0 (script from line 1) 238321 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 2: 'hide "a ==> d, e"' on goal 5 (script from line 2) 238337 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\proofscript_key_rule.exc.props6521090677676425590.key 238337 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 205.3ns 238337 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 242277 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.94s 242308 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_rule.exc.props6521090677676425590.key 242308 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9ns 242308 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 1: 'rule andLeft' on goal 0 (script from line 1) 242308 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine GOALS: 1 242308 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine []==>[and(a,b)] 242308 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\proofscript_key_selectFormula.props1924801938331504055.key 242308 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 981ns 242324 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 246154 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.83s 246185 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_selectFormula.props1924801938331504055.key 246185 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.9ns 246185 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 1: 'macro split-prop' on goal 0 (script from line 1) 246201 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 2: 'select formula="b"' on goal 3 (script from line 2) 246216 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\proofscript_key_unhide.props11185071119759759602.key 246216 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 239ns 246216 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 250141 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.92s 250172 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_unhide.props11185071119759759602.key 250172 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.8ns 250188 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 1: 'rule impRight' on goal 0 (script from line 1) 250188 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 2: 'hide '2=3 ==> 3=4'' on goal 1 (script from line 2) 250188 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 3: 'unhide '2=3 ==>'' on goal 3 (script from line 3) 250188 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 4: 'unhide '==> 3=4'' on goal 4 (script from line 4) 250203 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\proofscript_key_unhide2.props5747865291472336889.key 250203 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 811.6ns 250203 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 254034 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.83s 254066 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_unhide2.props5747865291472336889.key 254066 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.6ns 254066 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 1: 'rule impRight' on goal 0 (script from line 1) 254081 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 2: 'hide '2=3 ==> 3=4'' on goal 1 (script from line 2) 254081 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 3: 'unhide '2=3 ==> 3=4'' on goal 3 (script from line 3)