| Test |
Method name |
Duration |
Result |
| [1] andRight.props, D:\a\key\key\key.core\build\resources\test\de\uka\ilkd\key\macros\scripts\cases\andRight.props |
testProofScript(String, Path)[1] |
2.828s |
passed |
| [2] hide.exc.props, D:\a\key\key\key.core\build\resources\test\de\uka\ilkd\key\macros\scripts\cases\hide.exc.props |
testProofScript(String, Path)[2] |
2.788s |
passed |
| [3] hide.props, D:\a\key\key\key.core\build\resources\test\de\uka\ilkd\key\macros\scripts\cases\hide.props |
testProofScript(String, Path)[3] |
2.859s |
passed |
| [4] rule.exc.props, D:\a\key\key\key.core\build\resources\test\de\uka\ilkd\key\macros\scripts\cases\rule.exc.props |
testProofScript(String, Path)[4] |
2.991s |
passed |
| [5] selectFormula.props, D:\a\key\key\key.core\build\resources\test\de\uka\ilkd\key\macros\scripts\cases\selectFormula.props |
testProofScript(String, Path)[5] |
2.846s |
passed |
| [6] unhide.props, D:\a\key\key\key.core\build\resources\test\de\uka\ilkd\key\macros\scripts\cases\unhide.props |
testProofScript(String, Path)[6] |
2.923s |
passed |
| [7] unhide2.props, D:\a\key\key\key.core\build\resources\test\de\uka\ilkd\key\macros\scripts\cases\unhide2.props |
testProofScript(String, Path)[7] |
2.857s |
passed |