TestProofScriptCommand
|
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.570s | 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.560s | passed |
| [3] unhide.props, /home/runner/work/key/key/key.core/build/resources/test/de/uka/ilkd/key/macros/scripts/cases/unhide.props | testProofScript(String, Path)[3] | 2.570s | 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.606s | 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] | 2.617s | 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] | 2.593s | 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] | 2.592s | passed |
Standard error
#2 = impRight de.uka.ilkd.key.macros.scripts.RuleCommand$Parameters@25f5b729 #2 = [equals(Z(2(#)),Z(3(#)))]==>[equals(Z(3(#)),Z(4(#)))] de.uka.ilkd.key.macros.scripts.HideCommand$Parameters@245f66ea #2 = [equals(Z(2(#)),Z(3(#)))]==>[equals(Z(3(#)),Z(4(#)))] de.uka.ilkd.key.macros.scripts.UnhideCommand$Parameters@3572fc02 #2 = split-prop de.uka.ilkd.key.macros.scripts.MacroCommand$Parameters@1a47a0c6 formula = b de.uka.ilkd.key.macros.scripts.SelectCommand$Parameters@4fa00d3b #2 = impRight de.uka.ilkd.key.macros.scripts.RuleCommand$Parameters@2056a9c5 #2 = [equals(Z(2(#)),Z(3(#)))]==>[equals(Z(3(#)),Z(4(#)))] de.uka.ilkd.key.macros.scripts.HideCommand$Parameters@210616cb #2 = [equals(Z(2(#)),Z(3(#)))]==>[] de.uka.ilkd.key.macros.scripts.UnhideCommand$Parameters@1d5e7b9a #2 = []==>[equals(Z(3(#)),Z(4(#)))] de.uka.ilkd.key.macros.scripts.UnhideCommand$Parameters@4f8cf2f3 #2 = split-prop de.uka.ilkd.key.macros.scripts.MacroCommand$Parameters@4bfbfedd #2 = [b]==>[] de.uka.ilkd.key.macros.scripts.HideCommand$Parameters@5318931e #2 = andLeft de.uka.ilkd.key.macros.scripts.RuleCommand$Parameters@293f4961 #2 = andRight de.uka.ilkd.key.macros.scripts.RuleCommand$Parameters@355c7094 #2 = split-prop de.uka.ilkd.key.macros.scripts.MacroCommand$Parameters@2d0b6f59 #2 = [a]==>[d,e] de.uka.ilkd.key.macros.scripts.HideCommand$Parameters@15fad67e