Package de.uka.ilkd.key.macros.scripts
|
18%
successful |
Failed tests
- FocusCommandTest. testSelectionWithLabels()
- FocusCommandTest. testSimpleSelection()
- TestProofScriptCommand. [1] selectFormula.props, /home/runner/work/key/key/key.core/build/resources/test/de/uka/ilkd/key/macros/scripts/cases/selectFormula.props
- TestProofScriptCommand. [2] rule.exc.props, /home/runner/work/key/key/key.core/build/resources/test/de/uka/ilkd/key/macros/scripts/cases/rule.exc.props
- TestProofScriptCommand. [3] unhide.props, /home/runner/work/key/key/key.core/build/resources/test/de/uka/ilkd/key/macros/scripts/cases/unhide.props
- TestProofScriptCommand. [4] andRight.props, /home/runner/work/key/key/key.core/build/resources/test/de/uka/ilkd/key/macros/scripts/cases/andRight.props
- TestProofScriptCommand. [5] hide.exc.props, /home/runner/work/key/key/key.core/build/resources/test/de/uka/ilkd/key/macros/scripts/cases/hide.exc.props
- TestProofScriptCommand. [6] hide.props, /home/runner/work/key/key/key.core/build/resources/test/de/uka/ilkd/key/macros/scripts/cases/hide.props
- TestProofScriptCommand. [7] unhide2.props, /home/runner/work/key/key/key.core/build/resources/test/de/uka/ilkd/key/macros/scripts/cases/unhide2.props
Classes
| Class | Tests | Failures | Ignored | Duration | Success rate |
|---|---|---|---|---|---|
| FocusCommandTest | 2 | 2 | 0 | 1.542s | 0% |
| SMTCommandTest | 1 | 0 | 0 | 0.009s | 100% |
| ScriptLineParserTest | 1 | 0 | 0 | 0.001s | 100% |
| TestProofScriptCommand | 7 | 7 | 0 | 5.469s | 0% |