TestProofScriptCommand
|
100%
successful |
Tests
| Test | Method name | Duration | Result |
|---|---|---|---|
| [1] unhide.props, /home/runner/work/key/key/key.core/build/resources/test/de/uka/ilkd/key/macros/scripts/cases/unhide.props | testProofScript(String, Path)[1] | 4.405s | passed |
| [2] unhide2.props, /home/runner/work/key/key/key.core/build/resources/test/de/uka/ilkd/key/macros/scripts/cases/unhide2.props | testProofScript(String, Path)[2] | 4.382s | passed |
| [3] rule.exc.props, /home/runner/work/key/key/key.core/build/resources/test/de/uka/ilkd/key/macros/scripts/cases/rule.exc.props | testProofScript(String, Path)[3] | 4.367s | passed |
| [4] selectFormula.props, /home/runner/work/key/key/key.core/build/resources/test/de/uka/ilkd/key/macros/scripts/cases/selectFormula.props | testProofScript(String, Path)[4] | 4.391s | passed |
| [5] hide.props, /home/runner/work/key/key/key.core/build/resources/test/de/uka/ilkd/key/macros/scripts/cases/hide.props | testProofScript(String, Path)[5] | 4.385s | passed |
| [6] andRight.props, /home/runner/work/key/key/key.core/build/resources/test/de/uka/ilkd/key/macros/scripts/cases/andRight.props | testProofScript(String, Path)[6] | 4.354s | passed |
| [7] hide.exc.props, /home/runner/work/key/key/key.core/build/resources/test/de/uka/ilkd/key/macros/scripts/cases/hide.exc.props | testProofScript(String, Path)[7] | 4.402s | passed |
Standard output
256840 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/proofscript_key_unhide.props10025917637112879401.key 256841 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 820.1ns 256843 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 261138 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.3s 261168 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_unhide.props10025917637112879401.key 261173 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.7ns 261174 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 1: 'rule impRight' 261177 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 2: 'hide '2=3 ==> 3=4'' 261178 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 3: 'unhide '2=3 ==>'' 261228 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 4: 'unhide '==> 3=4'' 261241 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/proofscript_key_unhide2.props4215176106837266748.key 261241 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 131.1ns 261242 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 265584 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.34s 265609 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_unhide2.props4215176106837266748.key 265611 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.4ns 265612 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 1: 'rule impRight' 265615 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 2: 'hide '2=3 ==> 3=4'' 265616 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 3: 'unhide '2=3 ==> 3=4'' 265621 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/proofscript_key_rule.exc.props6876946616640281393.key 265622 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 684.3ns 265623 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 269952 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.33s 269980 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_rule.exc.props6876946616640281393.key 269982 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.5ns 269983 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 1: 'rule andLeft' 269985 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine GOALS: 1 269985 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine []==>[and(a,b)] 269989 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/proofscript_key_selectFormula.props17591603574157560216.key 269989 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 434.3ns 269990 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 274344 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.35s 274367 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_selectFormula.props17591603574157560216.key 274368 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.3ns 274369 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 1: 'macro split-prop' 274376 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 2: 'select formula="b"' 274380 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/proofscript_key_hide.props13977346122745467964.key 274380 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 110.5ns 274381 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 278725 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.34s 278750 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_hide.props13977346122745467964.key 278752 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.9ns 278753 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 1: 'macro split-prop' 278762 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 2: 'hide "a ==> d, e"' 278765 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/proofscript_key_andRight.props13909996808759297915.key 278765 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 127.7ns 278766 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 283091 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.33s 283113 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_andRight.props13909996808759297915.key 283115 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.2ns 283115 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 1: 'rule andRight' 283119 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/proofscript_key_hide.exc.props18001743465748163685.key 283119 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 106.8ns 283120 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 287490 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.37s 287512 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_hide.exc.props18001743465748163685.key 287513 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.4ns 287514 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 1: 'macro split-prop' 287518 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 2: 'hide "b ==>"' 287518 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine GOALS: 1 287518 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine [a]==>[b]