TestProofScriptCommand

all > de.uka.ilkd.key.macros.scripts > TestProofScriptCommand
7

tests
0

failures
0

ignored
17.536s

duration
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] 2.485s passed
[2] selectFormula.props, /home/runner/work/key/key/key.core/build/resources/test/de/uka/ilkd/key/macros/scripts/cases/selectFormula.props testProofScript(String, Path)[2] 2.492s passed
[3] 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)[3] 2.468s passed
[4] unhide2.props, /home/runner/work/key/key/key.core/build/resources/test/de/uka/ilkd/key/macros/scripts/cases/unhide2.props testProofScript(String, Path)[4] 2.532s passed
[5] 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)[5] 2.486s 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] 2.588s passed
[7] hide.props, /home/runner/work/key/key/key.core/build/resources/test/de/uka/ilkd/key/macros/scripts/cases/hide.props testProofScript(String, Path)[7] 2.485s passed

Standard output

146275     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/proofscript_key_unhide.props15970586722940480334.key 
146276     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 748.91ns 
146277     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
148730     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 2.45s 
148749     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_unhide.props15970586722940480334.key 
148751     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.7ns 
148751     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 1: 'rule impRight' 
148753     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 2: 'hide '2=3 ==> 3=4'' 
148754     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 3: 'unhide '2=3 ==>'' 
148756     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 4: 'unhide '==> 3=4'' 
148760     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/proofscript_key_selectFormula.props3118336630740087662.key 
148760     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 80.6ns 
148761     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
151222     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 2.46s 
151240     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_selectFormula.props3118336630740087662.key 
151242     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.9ns 
151243     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 1: 'macro split-prop' 
151249     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 2: 'select formula="b"' 
151253     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/proofscript_key_hide.exc.props1514781618553922493.key 
151253     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 587.51ns 
151254     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
153694     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 2.44s 
153711     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_hide.exc.props1514781618553922493.key 
153712     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.2ns 
153713     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 1: 'macro split-prop' 
153719     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 2: 'hide "b ==>"' 
153719     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine GOALS: 1 
153720     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine [a]==>[b] 
153721     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/proofscript_key_unhide2.props4578646664447343078.key 
153722     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 76.4ns 
153722     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
156231     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 2.51s 
156247     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_unhide2.props4578646664447343078.key 
156249     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.6ns 
156249     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 1: 'rule impRight' 
156251     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 2: 'hide '2=3 ==> 3=4'' 
156252     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 3: 'unhide '2=3 ==> 3=4'' 
156254     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/proofscript_key_rule.exc.props12610509536888471590.key 
156254     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 97.6ns 
156255     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
158720     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 2.46s 
158736     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_rule.exc.props12610509536888471590.key 
158737     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.3ns 
158738     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 1: 'rule andLeft' 
158739     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine GOALS: 1 
158739     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine []==>[and(a,b)] 
158740     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/proofscript_key_andRight.props4066161619195454663.key 
158741     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 132.8ns 
158741     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
161307     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 2.57s 
161324     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_andRight.props4066161619195454663.key 
161325     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.2ns 
161325     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 1: 'rule andRight' 
161328     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/proofscript_key_hide.props4115338998988342829.key 
161329     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 91.3ns 
161329     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
163787     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 2.46s 
163803     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_hide.props4115338998988342829.key 
163804     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.3ns 
163805     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 1: 'macro split-prop' 
163811     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 2: 'hide "a ==> d, e"'