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.309s | 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.248s | 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.395s | 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.362s | 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.373s | 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.510s | 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.425s | passed |
Standard output
316410 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\proofscript_key_andRight.props129818951517871333.key 316410 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 818.1ns 316426 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 321652 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.24s 321699 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_andRight.props129818951517871333.key 321699 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10ns 321699 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 1: 'rule andRight' 321714 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\proofscript_key_hide.exc.props11131709456001605597.key 321714 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 185.9ns 321714 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 326915 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.2s 326946 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_hide.exc.props11131709456001605597.key 326946 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.7ns 326962 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 1: 'macro split-prop' 326962 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 2: 'hide "b ==>"' 326962 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine GOALS: 1 326962 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine [a]==>[b] 326977 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\proofscript_key_hide.props5757473129565943785.key 326977 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 230.3ns 326977 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 332297 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.32s 332328 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_hide.props5757473129565943785.key 332328 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.7ns 332328 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 1: 'macro split-prop' 332343 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 2: 'hide "a ==> d, e"' 332359 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\proofscript_key_rule.exc.props7952588348832211673.key 332359 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 245.6ns 332359 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 337692 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.33s 337707 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_rule.exc.props7952588348832211673.key 337723 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 11.6ns 337723 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 1: 'rule andLeft' 337723 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine GOALS: 1 337723 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine []==>[and(a,b)] 337723 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\proofscript_key_selectFormula.props5131127796690915018.key 337723 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 1.04ms 337739 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 343050 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.31s 343082 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_selectFormula.props5131127796690915018.key 343082 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 11.3ns 343082 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 1: 'macro split-prop' 343097 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 2: 'select formula="b"' 343113 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\proofscript_key_unhide.props2993394234402444330.key 343113 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 227.1ns 343113 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 348544 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.43s 348576 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_unhide.props2993394234402444330.key 348591 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 28.9ns 348591 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 1: 'rule impRight' 348591 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 2: 'hide '2=3 ==> 3=4'' 348591 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 3: 'unhide '2=3 ==>'' 348607 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 4: 'unhide '==> 3=4'' 348607 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\proofscript_key_unhide2.props6879816075350659683.key 348607 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 199.5ns 348607 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 354001 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.39s 354017 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_unhide2.props6879816075350659683.key 354017 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 12ns 354017 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 1: 'rule impRight' 354033 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 2: 'hide '2=3 ==> 3=4'' 354033 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 3: 'unhide '2=3 ==> 3=4''