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.101s | 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.080s | 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.222s | 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.235s | 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.096s | 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.269s | 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.112s | passed |
Standard output
303125 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\proofscript_key_andRight.props12750955592235447574.key 303125 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 936.7ns 303140 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 308159 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.03s 308206 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_andRight.props12750955592235447574.key 308206 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.2ns 308206 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 1: 'rule andRight' 308222 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\proofscript_key_hide.exc.props2006341093875532632.key 308222 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 252.4ns 308222 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 313256 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.02s 313288 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_hide.exc.props2006341093875532632.key 313288 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.9ns 313288 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 1: 'macro split-prop' 313303 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 2: 'hide "b ==>"' 313303 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine GOALS: 1 313303 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine [a]==>[b] 313303 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\proofscript_key_hide.props14837488626842726217.key 313303 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 202.5ns 313319 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 318447 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.14s 318478 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_hide.props14837488626842726217.key 318493 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 11.8ns 318493 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 1: 'macro split-prop' 318525 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 2: 'hide "a ==> d, e"' 318525 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\proofscript_key_rule.exc.props4747759777751724362.key 318525 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 233.2ns 318525 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 323715 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.19s 323747 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_rule.exc.props4747759777751724362.key 323762 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.8ns 323762 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 1: 'rule andLeft' 323762 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine GOALS: 1 323762 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine []==>[and(a,b)] 323762 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\proofscript_key_selectFormula.props1819689805078607310.key 323762 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 1.1ms 323778 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 328797 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.02s 328829 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_selectFormula.props1819689805078607310.key 328829 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 11.3ns 328829 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 1: 'macro split-prop' 328844 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 2: 'select formula="b"' 328859 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\proofscript_key_unhide.props9220006352572554019.key 328859 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 207.1ns 328859 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 334066 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.2s 334097 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_unhide.props9220006352572554019.key 334097 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 22.2ns 334097 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 1: 'rule impRight' 334113 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 2: 'hide '2=3 ==> 3=4'' 334113 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 3: 'unhide '2=3 ==>'' 334113 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 4: 'unhide '==> 3=4'' 334128 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\proofscript_key_unhide2.props11873372893007225653.key 334128 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 241.1ns 334128 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 339178 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.05s 339210 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_unhide2.props11873372893007225653.key 339210 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 11.2ns 339210 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 1: 'rule impRight' 339225 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 2: 'hide '2=3 ==> 3=4'' 339225 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 3: 'unhide '2=3 ==> 3=4''