TestProofScriptCommand

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

tests
0

failures
0

ignored
23.440s

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.300s passed
[2] andRight.props, /home/runner/work/key/key/key.core/build/resources/test/de/uka/ilkd/key/macros/scripts/cases/andRight.props testProofScript(String, Path)[2] 3.355s passed
[3] 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)[3] 3.340s 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.403s 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.354s passed
[6] 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)[6] 3.380s passed
[7] selectFormula.props, /home/runner/work/key/key/key.core/build/resources/test/de/uka/ilkd/key/macros/scripts/cases/selectFormula.props testProofScript(String, Path)[7] 3.308s passed

Standard output

193688     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/proofscript_key_unhide.props3179739216901610105.key 
193688     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 207.3ns 
193689     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
196927     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 3.24s 
196955     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_unhide.props3179739216901610105.key 
196959     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.9ns 
196961     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 1: 'rule impRight' 
196968     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 2: 'hide '2=3 ==> 3=4'' 
196971     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 3: 'unhide '2=3 ==>'' 
196978     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 4: 'unhide '==> 3=4'' 
196988     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/proofscript_key_andRight.props15953036327263228334.key 
196990     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 2.81ms 
196991     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
200311     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 3.32s 
200337     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_andRight.props15953036327263228334.key 
200339     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.1ns 
200339     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 1: 'rule andRight' 
200349     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/proofscript_key_rule.exc.props10474590104974802919.key 
200349     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 139.3ns 
200350     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
203650     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 3.3s 
203676     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_rule.exc.props10474590104974802919.key 
203678     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.2ns 
203679     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 1: 'rule andLeft' 
203680     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine GOALS: 1 
203681     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine []==>[and(a,b)] 
203683     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/proofscript_key_unhide2.props7143353761461132388.key 
203683     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 95.9ns 
203684     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
207054     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 3.37s 
207077     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_unhide2.props7143353761461132388.key 
207079     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.4ns 
207079     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 1: 'rule impRight' 
207082     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 2: 'hide '2=3 ==> 3=4'' 
207083     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 3: 'unhide '2=3 ==> 3=4'' 
207086     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/proofscript_key_hide.props6856118103274351946.key 
207086     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 130.1ns 
207087     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
210401     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 3.31s 
210424     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_hide.props6856118103274351946.key 
210427     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.9ns 
210428     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 1: 'macro split-prop' 
210436     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 2: 'hide "a ==> d, e"' 
210442     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/proofscript_key_hide.exc.props15810993541383248806.key 
210443     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 585.4ns 
210444     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
213785     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 3.34s 
213807     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_hide.exc.props15810993541383248806.key 
213809     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.3ns 
213810     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 1: 'macro split-prop' 
213815     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 2: 'hide "b ==>"' 
213816     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine GOALS: 1 
213816     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine [a]==>[b] 
213822     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/proofscript_key_selectFormula.props17251113905540006925.key 
213822     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 525.7ns 
213823     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
217085     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 3.26s 
217107     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_selectFormula.props17251113905540006925.key 
217108     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.5ns 
217109     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 1: 'macro split-prop' 
217122     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 2: 'select formula="b"'