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.515s | 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.408s | 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.503s | 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.526s | 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.571s | 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.769s | 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.562s | passed |
Standard output
210660 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\proofscript_key_andRight.props9240846938602475240.key 210660 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 1.14ms 210663 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 214107 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.45s 214138 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_andRight.props9240846938602475240.key 214138 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10ns 214138 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 1: 'rule andRight' 214170 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\proofscript_key_hide.exc.props1606288977050244661.key 214170 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 201.2ns 214170 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 217547 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.36s 217563 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_hide.exc.props1606288977050244661.key 217563 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.2ns 217578 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 1: 'macro split-prop' 217578 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 2: 'hide "b ==>"' 217578 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine GOALS: 1 217578 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine [a]==>[b] 217578 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\proofscript_key_hide.props6602270101521360199.key 217578 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 174.4ns 217594 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 221020 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.43s 221035 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_hide.props6602270101521360199.key 221066 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.2ns 221066 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 1: 'macro split-prop' 221082 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 2: 'hide "a ==> d, e"' 221082 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\proofscript_key_rule.exc.props14816691157977343819.key 221082 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 543.6ns 221098 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 224594 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.48s 224610 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_rule.exc.props14816691157977343819.key 224610 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.4ns 224610 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 1: 'rule andLeft' 224610 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine GOALS: 1 224610 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine []==>[and(a,b)] 224625 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\proofscript_key_selectFormula.props6411479385409772698.key 224625 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 785ns 224625 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 228135 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.5s 228151 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_selectFormula.props6411479385409772698.key 228151 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.4ns 228151 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 1: 'macro split-prop' 228182 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 2: 'select formula="b"' 228182 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\proofscript_key_unhide.props694507344975829162.key 228182 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 652.5ns 228182 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 231812 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.62s 231827 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_unhide.props694507344975829162.key 231843 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.8ns 231843 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 1: 'rule impRight' 231843 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 2: 'hide '2=3 ==> 3=4'' 231952 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 3: 'unhide '2=3 ==>'' 231952 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 4: 'unhide '==> 3=4'' 231968 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\proofscript_key_unhide2.props16175334644388699169.key 231968 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 698.6ns 231968 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 235485 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.52s 235516 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_unhide2.props16175334644388699169.key 235517 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 11.5ns 235517 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 1: 'rule impRight' 235517 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 2: 'hide '2=3 ==> 3=4'' 235517 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 3: 'unhide '2=3 ==> 3=4''