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.350s | 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.520s | 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.324s | 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.360s | 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.428s | 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.448s | 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.423s | passed |
Standard output
207169 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\proofscript_key_andRight.props5343594014061394875.key 207169 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 613.7ns 207169 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 210477 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.31s 210493 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_andRight.props5343594014061394875.key 210493 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9ns 210493 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 1: 'rule andRight' on goal 0 (script from line 1) 210508 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\proofscript_key_hide.exc.props1302254334326496831.key 210508 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 173.2ns 210508 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 213965 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.45s 213981 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_hide.exc.props1302254334326496831.key 214012 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.3ns 214012 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 1: 'macro split-prop' on goal 0 (script from line 1) 214028 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 2: 'hide "b ==>"' on goal 1 (script from line 2) 214028 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine GOALS: 1 214028 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine [a]==>[b] 214028 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\proofscript_key_hide.props18212007599737940526.key 214028 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 158ns 214028 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 217322 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.29s 217337 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_hide.props18212007599737940526.key 217337 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.1ns 217337 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 1: 'macro split-prop' on goal 0 (script from line 1) 217353 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 2: 'hide "a ==> d, e"' on goal 5 (script from line 2) 217368 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\proofscript_key_rule.exc.props13846905886539583882.key 217368 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 555.3ns 217368 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 220683 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.31s 220699 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_rule.exc.props13846905886539583882.key 220715 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.6ns 220715 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 1: 'rule andLeft' on goal 0 (script from line 1) 220715 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine GOALS: 1 220715 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine []==>[and(a,b)] 220715 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\proofscript_key_selectFormula.props14329760935262079545.key 220715 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 708.2ns 220715 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 224097 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.38s 224128 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_selectFormula.props14329760935262079545.key 224128 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.1ns 224128 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 1: 'macro split-prop' on goal 0 (script from line 1) 224144 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 2: 'select formula="b"' on goal 3 (script from line 2) 224144 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\proofscript_key_unhide.props453044374486205093.key 224144 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 173.6ns 224159 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 227546 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.4s 227577 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_unhide.props453044374486205093.key 227577 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.7ns 227577 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 1: 'rule impRight' on goal 0 (script from line 1) 227592 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 2: 'hide '2=3 ==> 3=4'' on goal 1 (script from line 2) 227592 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 3: 'unhide '2=3 ==>'' on goal 3 (script from line 3) 227592 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 4: 'unhide '==> 3=4'' on goal 4 (script from line 4) 227608 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\proofscript_key_unhide2.props4549900489784336807.key 227608 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 170.1ns 227608 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 230984 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.38s 230999 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_unhide2.props4549900489784336807.key 230999 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.7ns 230999 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 1: 'rule impRight' on goal 0 (script from line 1) 230999 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 2: 'hide '2=3 ==> 3=4'' on goal 1 (script from line 2) 231015 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 3: 'unhide '2=3 ==> 3=4'' on goal 3 (script from line 3)