diff options
Diffstat (limited to 'test/resources')
| -rw-r--r-- | test/resources/MainTests.xml | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/test/resources/MainTests.xml b/test/resources/MainTests.xml index ec299b5..fdecc72 100644 --- a/test/resources/MainTests.xml +++ b/test/resources/MainTests.xml | |||
| @@ -6,10 +6,11 @@ | |||
| 6 | <groups> | 6 | <groups> |
| 7 | <run> | 7 | <run> |
| 8 | <!--<include name="correctness"/>--> | 8 | <!--<include name="correctness"/>--> |
| 9 | <include name="light"/> | 9 | <!--<include name="light"/>--> |
| 10 | <!--<include name="justExecute"/>--> | 10 | <!--<include name="justExecute"/>--> |
| 11 | <exclude name="heavy"/> | 11 | <!--<exclude name="heavy"/>--> |
| 12 | <!--<include name="nonOriginal"/>--> | 12 | <!--<include name="nonOriginal"/>--> |
| 13 | <include name="existential"/> | ||
| 13 | </run> | 14 | </run> |
| 14 | </groups> | 15 | </groups> |
| 15 | <classes> | 16 | <classes> |