| Test |
Method name |
Duration |
Result |
| [1] selectFormula.props, /home/runner/work/key/key/key.core/build/resources/test/de/uka/ilkd/key/macros/scripts/cases/selectFormula.props |
testProofScript(String, Path)[1] |
3.378s |
passed |
| [2] 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)[2] |
3.243s |
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] |
3.318s |
passed |
| [4] andRight.props, /home/runner/work/key/key/key.core/build/resources/test/de/uka/ilkd/key/macros/scripts/cases/andRight.props |
testProofScript(String, Path)[4] |
3.287s |
passed |
| [5] 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)[5] |
3.386s |
passed |
| [6] hide.props, /home/runner/work/key/key/key.core/build/resources/test/de/uka/ilkd/key/macros/scripts/cases/hide.props |
testProofScript(String, Path)[6] |
3.228s |
passed |
| [7] unhide2.props, /home/runner/work/key/key/key.core/build/resources/test/de/uka/ilkd/key/macros/scripts/cases/unhide2.props |
testProofScript(String, Path)[7] |
3.280s |
passed |