TestProofScriptCommand

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

tests
0

failures
0

ignored
24.479s

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.465s 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.442s 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.490s 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.546s 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.500s 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.606s 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.430s passed

Standard output

200061     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/proofscript_key_unhide2.props7608286850041599150.key 
200061     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 253.9ns 
200062     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
203468     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 3.41s 
203497     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_unhide2.props7608286850041599150.key 
203502     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.7ns 
203503     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 1: 'rule impRight' 
203513     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 2: 'hide '2=3 ==> 3=4'' 
203514     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 3: 'unhide '2=3 ==> 3=4'' 
203526     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/proofscript_key_unhide.props10165648840444148785.key 
203526     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 254.6ns 
203529     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
206935     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 3.41s 
206958     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_unhide.props10165648840444148785.key 
206960     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.5ns 
206961     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 1: 'rule impRight' 
206964     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 2: 'hide '2=3 ==> 3=4'' 
206964     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 3: 'unhide '2=3 ==>'' 
206965     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 4: 'unhide '==> 3=4'' 
206968     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/proofscript_key_selectFormula.props1924503107579264817.key 
206968     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 145.7ns 
206969     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
210421     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 3.45s 
210445     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_selectFormula.props1924503107579264817.key 
210447     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.8ns 
210448     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 1: 'macro split-prop' 
210454     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 2: 'select formula="b"' 
210458     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/proofscript_key_hide.exc.props15049232481896367114.key 
210458     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 144ns 
210459     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
213961     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 3.5s 
213987     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_hide.exc.props15049232481896367114.key 
213991     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.3ns 
213993     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 1: 'macro split-prop' 
213998     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 2: 'hide "b ==>"' 
214000     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine GOALS: 1 
214002     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine [a]==>[b] 
214006     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/proofscript_key_hide.props8616121645000778231.key 
214006     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 459.49ns 
214008     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
217465     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 3.46s 
217488     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_hide.props8616121645000778231.key 
217490     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.6ns 
217490     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 1: 'macro split-prop' 
217501     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 2: 'hide "a ==> d, e"' 
217504     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/proofscript_key_rule.exc.props10270902319342102201.key 
217505     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 170ns 
217506     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
221082     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 3.58s 
221105     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_rule.exc.props10270902319342102201.key 
221107     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.1ns 
221108     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 1: 'rule andLeft' 
221109     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine GOALS: 1 
221109     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine []==>[and(a,b)] 
221110     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/proofscript_key_andRight.props13362045361573551468.key 
221111     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 89.2ns 
221111     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
224511     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 3.4s 
224531     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_andRight.props13362045361573551468.key 
224533     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.4ns 
224535     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 1: 'rule andRight'