TestProofScriptCommand

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

tests
0

failures
0

ignored
19.870s

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] 2.805s 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] 2.719s 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] 2.789s 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] 2.823s 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] 2.849s 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] 2.840s 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.045s passed

Standard output

169262     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/proofscript_key_unhide2.props16222286264302604613.key 
169263     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 149.5ns 
169263     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
172032     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 2.77s 
172053     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_unhide2.props16222286264302604613.key 
172055     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 6.7ns 
172056     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 1: 'rule impRight' 
172059     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 2: 'hide '2=3 ==> 3=4'' 
172060     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 3: 'unhide '2=3 ==> 3=4'' 
172067     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/proofscript_key_unhide.props18255548301592832452.key 
172067     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 102.9ns 
172068     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
174746     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 2.68s 
174777     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_unhide.props18255548301592832452.key 
174778     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7ns 
174779     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 1: 'rule impRight' 
174782     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 2: 'hide '2=3 ==> 3=4'' 
174782     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 3: 'unhide '2=3 ==>'' 
174783     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 4: 'unhide '==> 3=4'' 
174786     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/proofscript_key_selectFormula.props9972470643708971034.key 
174786     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 219ns 
174787     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
177546     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 2.76s 
177563     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_selectFormula.props9972470643708971034.key 
177565     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 6.5ns 
177565     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 1: 'macro split-prop' 
177571     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 2: 'select formula="b"' 
177575     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/proofscript_key_hide.exc.props16465020423913278434.key 
177575     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 103.5ns 
177576     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
180365     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 2.79s 
180383     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_hide.exc.props16465020423913278434.key 
180384     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 6.5ns 
180387     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 1: 'macro split-prop' 
180394     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 2: 'hide "b ==>"' 
180395     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine GOALS: 1 
180396     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine [a]==>[b] 
180403     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/proofscript_key_hide.props13378454809078419488.key 
180404     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 969.79ns 
180406     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
183196     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 2.79s 
183222     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_hide.props13378454809078419488.key 
183225     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.5ns 
183226     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 1: 'macro split-prop' 
183245     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 2: 'hide "a ==> d, e"' 
183249     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/proofscript_key_rule.exc.props6604542248942159423.key 
183249     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 140.9ns 
183250     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
186058     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 2.81s 
186075     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_rule.exc.props6604542248942159423.key 
186083     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.1ns 
186085     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 1: 'rule andLeft' 
186085     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine GOALS: 1 
186087     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine []==>[and(a,b)] 
186091     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/proofscript_key_andRight.props14685697003788082989.key 
186092     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 1.07ms 
186093     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
189111     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 3.02s 
189129     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_andRight.props14685697003788082989.key 
189131     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.8ns 
189132     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 1: 'rule andRight'