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] | 5.424s | 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] | 5.537s | 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] | 5.673s | 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] | 5.534s | 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] | 5.658s | 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] | 5.260s | 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] | 5.192s | passed |
Standard output
321247 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\proofscript_key_andRight.props3559425258388370599.key 321247 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 706.8ns 321247 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 326604 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.35s 326635 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_andRight.props3559425258388370599.key 326651 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 11.9ns 326651 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 1: 'rule andRight' 326666 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\proofscript_key_hide.exc.props12254542692064980830.key 326666 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 250.5ns 326666 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 332156 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.49s 332187 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_hide.exc.props12254542692064980830.key 332187 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.3ns 332187 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 1: 'macro split-prop' 332203 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 2: 'hide "b ==>"' 332203 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine GOALS: 1 332203 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine [a]==>[b] 332218 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\proofscript_key_hide.props4329888110501362733.key 332218 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 922.8ns 332218 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 337816 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.6s 337847 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_hide.props4329888110501362733.key 337847 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.5ns 337847 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 1: 'macro split-prop' 337862 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 2: 'hide "a ==> d, e"' 337878 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\proofscript_key_rule.exc.props3983723729430427090.key 337878 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 700.9ns 337878 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 343367 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.49s 343398 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_rule.exc.props3983723729430427090.key 343398 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 11.3ns 343398 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 1: 'rule andLeft' 343398 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine GOALS: 1 343398 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine []==>[and(a,b)] 343414 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\proofscript_key_selectFormula.props13706911200547584080.key 343414 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 1ms 343414 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 349027 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.61s 349059 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_selectFormula.props13706911200547584080.key 349059 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.1ns 349059 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 1: 'macro split-prop' 349074 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 2: 'select formula="b"' 349090 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\proofscript_key_unhide.props18121808094259815666.key 349090 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 209.7ns 349090 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 354287 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.2s 354319 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_unhide.props18121808094259815666.key 354319 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.5ns 354319 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 1: 'rule impRight' 354334 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 2: 'hide '2=3 ==> 3=4'' 354334 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 3: 'unhide '2=3 ==>'' 354334 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 4: 'unhide '==> 3=4'' 354350 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\proofscript_key_unhide2.props705051695587218611.key 354350 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 281.8ns 354350 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 359480 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.12s 359496 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_unhide2.props705051695587218611.key 359512 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.7ns 359512 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 1: 'rule impRight' 359512 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 2: 'hide '2=3 ==> 3=4'' 359512 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 3: 'unhide '2=3 ==> 3=4''