TestProofScriptCommand

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

tests
0

failures
0

ignored
23.760s

duration
100%

successful

Tests

Test Method name Duration Result
[1] unhide2.props, /home/runner/work/key/key/key.core/build/resources/test/de/uka/ilkd/key/macros/scripts/cases/unhide2.props testProofScript(String, Path)[1] 3.425s passed
[2] unhide.props, /home/runner/work/key/key/key.core/build/resources/test/de/uka/ilkd/key/macros/scripts/cases/unhide.props testProofScript(String, Path)[2] 3.418s passed
[3] selectFormula.props, /home/runner/work/key/key/key.core/build/resources/test/de/uka/ilkd/key/macros/scripts/cases/selectFormula.props testProofScript(String, Path)[3] 3.404s passed
[4] 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)[4] 3.327s 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] 3.406s passed
[6] 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)[6] 3.446s passed
[7] andRight.props, /home/runner/work/key/key/key.core/build/resources/test/de/uka/ilkd/key/macros/scripts/cases/andRight.props testProofScript(String, Path)[7] 3.334s passed

Standard output

196241     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/proofscript_key_unhide2.props10543989127265154822.key 
196242     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 1.02ms 
196243     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
199609     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 3.37s 
199642     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_unhide2.props10543989127265154822.key 
199646     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.4ns 
199647     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 1: 'rule impRight' 
199653     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 2: 'hide '2=3 ==> 3=4'' 
199655     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 3: 'unhide '2=3 ==> 3=4'' 
199663     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/proofscript_key_unhide.props6185719967523629992.key 
199664     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 525.9ns 
199665     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
203051     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 3.39s 
203072     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_unhide.props6185719967523629992.key 
203074     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.3ns 
203074     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 1: 'rule impRight' 
203077     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 2: 'hide '2=3 ==> 3=4'' 
203078     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 3: 'unhide '2=3 ==>'' 
203079     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 4: 'unhide '==> 3=4'' 
203081     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/proofscript_key_selectFormula.props10295462318622935525.key 
203082     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 91.4ns 
203083     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
206442     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 3.36s 
206463     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_selectFormula.props10295462318622935525.key 
206465     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8ns 
206466     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 1: 'macro split-prop' 
206481     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 2: 'select formula="b"' 
206485     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/proofscript_key_hide.exc.props14419079890671471756.key 
206486     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 106.8ns 
206486     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
209784     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 3.3s 
209804     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_hide.exc.props14419079890671471756.key 
209806     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8ns 
209807     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 1: 'macro split-prop' 
209810     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 2: 'hide "b ==>"' 
209810     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine GOALS: 1 
209811     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine [a]==>[b] 
209813     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/proofscript_key_hide.props18206735648857827743.key 
209813     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 107.2ns 
209814     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
213158     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 3.34s 
213179     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_hide.props18206735648857827743.key 
213194     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.6ns 
213195     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 1: 'macro split-prop' 
213214     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 2: 'hide "a ==> d, e"' 
213219     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/proofscript_key_rule.exc.props10984097132919708877.key 
213219     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 262.7ns 
213222     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
216639     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 3.42s 
216659     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_rule.exc.props10984097132919708877.key 
216660     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.8ns 
216661     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 1: 'rule andLeft' 
216662     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine GOALS: 1 
216662     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine []==>[and(a,b)] 
216665     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/proofscript_key_andRight.props12973875246017599465.key 
216665     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 291.5ns 
216666     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
219978     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 3.31s 
219994     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_andRight.props12973875246017599465.key 
219995     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.8ns 
219996     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 1: 'rule andRight'