TestProofScriptCommand

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

tests
0

failures
0

ignored
21.510s

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.966s 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] 2.990s 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] 2.965s 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.104s 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.170s 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.142s 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.173s passed

Standard output

179364     DEBUG Test worker     d.u.i.k.p.i.KeYFile       Reading KeY file /tmp/proofscript_key_unhide.props10273762145412340799.key 
180246     DEBUG Test worker     d.u.i.k.p.i.KeYFile       Reading KeY file file:/home/runner/work/key/key/key.core/build/resources/main/de/uka/ilkd/key/java/JavaRedux/java/lang/String.key 
182318     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.3ns 
182318     DEBUG Test worker     d.u.i.k.p.i.KeYFile       Reading KeY file /tmp/proofscript_key_unhide.props10273762145412340799.key 
182318     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 1: 'rule impRight' 
182321     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 2: 'hide '2=3 ==> 3=4'' 
182322     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 3: 'unhide '2=3 ==>'' 
182324     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 4: 'unhide '==> 3=4'' 
182329     DEBUG Test worker     d.u.i.k.p.i.KeYFile       Reading KeY file /tmp/proofscript_key_selectFormula.props1085524854737036561.key 
183215     DEBUG Test worker     d.u.i.k.p.i.KeYFile       Reading KeY file file:/home/runner/work/key/key/key.core/build/resources/main/de/uka/ilkd/key/java/JavaRedux/java/lang/String.key 
185309     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.4ns 
185309     DEBUG Test worker     d.u.i.k.p.i.KeYFile       Reading KeY file /tmp/proofscript_key_selectFormula.props1085524854737036561.key 
185309     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 1: 'macro split-prop' 
185316     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 2: 'select formula="b"' 
185320     DEBUG Test worker     d.u.i.k.p.i.KeYFile       Reading KeY file /tmp/proofscript_key_hide.exc.props5048117542125041652.key 
186253     DEBUG Test worker     d.u.i.k.p.i.KeYFile       Reading KeY file file:/home/runner/work/key/key/key.core/build/resources/main/de/uka/ilkd/key/java/JavaRedux/java/lang/String.key 
188270     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.3ns 
188270     DEBUG Test worker     d.u.i.k.p.i.KeYFile       Reading KeY file /tmp/proofscript_key_hide.exc.props5048117542125041652.key 
188270     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 1: 'macro split-prop' 
188282     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 2: 'hide "b ==>"' 
188283     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine GOALS: 1 
188283     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine [a]==>[b] 
188287     DEBUG Test worker     d.u.i.k.p.i.KeYFile       Reading KeY file /tmp/proofscript_key_unhide2.props5334888644907406069.key 
189276     DEBUG Test worker     d.u.i.k.p.i.KeYFile       Reading KeY file file:/home/runner/work/key/key/key.core/build/resources/main/de/uka/ilkd/key/java/JavaRedux/java/lang/String.key 
191383     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.6ns 
191384     DEBUG Test worker     d.u.i.k.p.i.KeYFile       Reading KeY file /tmp/proofscript_key_unhide2.props5334888644907406069.key 
191384     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 1: 'rule impRight' 
191386     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 2: 'hide '2=3 ==> 3=4'' 
191387     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 3: 'unhide '2=3 ==> 3=4'' 
191391     DEBUG Test worker     d.u.i.k.p.i.KeYFile       Reading KeY file /tmp/proofscript_key_rule.exc.props2480070489597730620.key 
192375     DEBUG Test worker     d.u.i.k.p.i.KeYFile       Reading KeY file file:/home/runner/work/key/key/key.core/build/resources/main/de/uka/ilkd/key/java/JavaRedux/java/lang/String.key 
194558     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 20.5ns 
194558     DEBUG Test worker     d.u.i.k.p.i.KeYFile       Reading KeY file /tmp/proofscript_key_rule.exc.props2480070489597730620.key 
194559     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 1: 'rule andLeft' 
194559     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine GOALS: 1 
194559     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine []==>[and(a,b)] 
194561     DEBUG Test worker     d.u.i.k.p.i.KeYFile       Reading KeY file /tmp/proofscript_key_andRight.props17295705531629557506.key 
195484     DEBUG Test worker     d.u.i.k.p.i.KeYFile       Reading KeY file file:/home/runner/work/key/key/key.core/build/resources/main/de/uka/ilkd/key/java/JavaRedux/java/lang/String.key 
197699     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.1ns 
197700     DEBUG Test worker     d.u.i.k.p.i.KeYFile       Reading KeY file /tmp/proofscript_key_andRight.props17295705531629557506.key 
197700     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 1: 'rule andRight' 
197703     DEBUG Test worker     d.u.i.k.p.i.KeYFile       Reading KeY file /tmp/proofscript_key_hide.props13956958046185729688.key 
198671     DEBUG Test worker     d.u.i.k.p.i.KeYFile       Reading KeY file file:/home/runner/work/key/key/key.core/build/resources/main/de/uka/ilkd/key/java/JavaRedux/java/lang/String.key 
200865     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.2ns 
200865     DEBUG Test worker     d.u.i.k.p.i.KeYFile       Reading KeY file /tmp/proofscript_key_hide.props13956958046185729688.key 
200866     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 1: 'macro split-prop' 
200874     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 2: 'hide "a ==> d, e"'