TestProofScriptCommand

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

tests
0

failures
0

ignored
24.706s

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] 3.470s 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] 3.471s 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] 3.513s 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] 3.531s 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] 3.564s 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] 3.468s 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] 3.689s passed

Standard output

203597     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/proofscript_key_unhide.props8665995468956699445.key 
203598     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 2.4ms 
203600     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
207002     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 3.4s 
207041     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_unhide.props8665995468956699445.key 
207044     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.5ns 
207050     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 1: 'rule impRight' 
207053     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 2: 'hide '2=3 ==> 3=4'' 
207054     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 3: 'unhide '2=3 ==>'' 
207056     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 4: 'unhide '==> 3=4'' 
207064     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/proofscript_key_selectFormula.props14600701206418018225.key 
207065     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 679ns 
207066     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
210499     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 3.43s 
210523     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_selectFormula.props14600701206418018225.key 
210525     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.9ns 
210525     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 1: 'macro split-prop' 
210532     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 2: 'select formula="b"' 
210536     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/proofscript_key_hide.exc.props1555669841868318807.key 
210536     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 103.1ns 
210537     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
214016     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 3.48s 
214039     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_hide.exc.props1555669841868318807.key 
214041     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.6ns 
214042     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 1: 'macro split-prop' 
214046     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 2: 'hide "b ==>"' 
214046     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine GOALS: 1 
214047     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine [a]==>[b] 
214049     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/proofscript_key_unhide2.props4920489070664304932.key 
214049     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 77.1ns 
214050     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
217543     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 3.49s 
217570     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_unhide2.props4920489070664304932.key 
217572     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.9ns 
217573     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 1: 'rule impRight' 
217576     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 2: 'hide '2=3 ==> 3=4'' 
217577     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 3: 'unhide '2=3 ==> 3=4'' 
217581     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/proofscript_key_rule.exc.props4734124576487931550.key 
217582     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 543.71ns 
217583     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
221117     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 3.53s 
221139     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_rule.exc.props4734124576487931550.key 
221140     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8ns 
221141     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 1: 'rule andLeft' 
221142     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine GOALS: 1 
221142     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine []==>[and(a,b)] 
221144     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/proofscript_key_andRight.props17910639468233770562.key 
221145     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 87ns 
221146     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
224582     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 3.44s 
224606     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_andRight.props17910639468233770562.key 
224608     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.4ns 
224609     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 1: 'rule andRight' 
224614     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/proofscript_key_hide.props4793421084678599143.key 
224615     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 496.5ns 
224624     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
228270     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 3.65s 
228289     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_hide.props4793421084678599143.key 
228291     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.4ns 
228291     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 1: 'macro split-prop' 
228299     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 2: 'hide "a ==> d, e"'