TestProofScriptCommand

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

tests
0

failures
0

ignored
21.679s

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.943s 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.102s 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.139s 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.084s 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.069s 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.256s 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.086s passed

Standard output

179166     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/proofscript_key_unhide.props3462744937845592381.key 
179167     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 1.06ms 
179174     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
182069     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 2.89s 
182093     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_unhide.props3462744937845592381.key 
182095     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.1ns 
182095     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 1: 'rule impRight' 
182100     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 2: 'hide '2=3 ==> 3=4'' 
182101     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 3: 'unhide '2=3 ==>'' 
182103     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 4: 'unhide '==> 3=4'' 
182109     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/proofscript_key_selectFormula.props3113745987981204444.key 
182110     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 89.4ns 
182110     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
185177     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 3.07s 
185198     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_selectFormula.props3113745987981204444.key 
185200     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.4ns 
185201     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 1: 'macro split-prop' 
185208     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 2: 'select formula="b"' 
185212     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/proofscript_key_hide.exc.props10879223538811166864.key 
185212     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 137.8ns 
185213     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
188320     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 3.11s 
188340     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_hide.exc.props10879223538811166864.key 
188343     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.6ns 
188343     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 1: 'macro split-prop' 
188347     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 2: 'hide "b ==>"' 
188347     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine GOALS: 1 
188348     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine [a]==>[b] 
188351     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/proofscript_key_unhide2.props2531858290457149185.key 
188351     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 482.9ns 
188353     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
191404     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 3.05s 
191424     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_unhide2.props2531858290457149185.key 
191425     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.5ns 
191426     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 1: 'rule impRight' 
191431     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 2: 'hide '2=3 ==> 3=4'' 
191431     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 3: 'unhide '2=3 ==> 3=4'' 
191435     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/proofscript_key_rule.exc.props8018552369161495965.key 
191435     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 75.6ns 
191436     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
194475     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 3.04s 
194495     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_rule.exc.props8018552369161495965.key 
194497     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.8ns 
194498     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 1: 'rule andLeft' 
194500     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine GOALS: 1 
194501     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine []==>[and(a,b)] 
194504     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/proofscript_key_andRight.props3194474573582240733.key 
194504     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 124.2ns 
194513     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
197723     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 3.21s 
197743     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_andRight.props3194474573582240733.key 
197752     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.1ns 
197753     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 1: 'rule andRight' 
197763     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/proofscript_key_hide.props13478449568266531102.key 
197765     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 2.37ms 
197768     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
200816     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 3.05s 
200834     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_hide.props13478449568266531102.key 
200835     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.1ns 
200836     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 1: 'macro split-prop' 
200844     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 2: 'hide "a ==> d, e"'