diff options
| author | RncLsn <rnc.lsn@gmail.com> | 2015-07-03 19:09:31 +0100 |
|---|---|---|
| committer | RncLsn <rnc.lsn@gmail.com> | 2015-07-03 19:09:31 +0100 |
| commit | 39b60d4225f5efa4e0287a2c6ce69d90391c69db (patch) | |
| tree | 18c5b05726f39baa4d3ca8b228e24ad1f0182f2a /test/resources/BugTests.xml | |
| parent | 133dab6e21f263df2baca913d3d0b7a4fd152d08 (diff) | |
| download | ACQuA-39b60d4225f5efa4e0287a2c6ce69d90391c69db.tar.gz ACQuA-39b60d4225f5efa4e0287a2c6ce69d90391c69db.zip | |
Many little changes.
Diffstat (limited to 'test/resources/BugTests.xml')
| -rw-r--r-- | test/resources/BugTests.xml | 7 |
1 files changed, 1 insertions, 6 deletions
diff --git a/test/resources/BugTests.xml b/test/resources/BugTests.xml index 5782bd4..c7a80ba 100644 --- a/test/resources/BugTests.xml +++ b/test/resources/BugTests.xml | |||
| @@ -4,13 +4,8 @@ | |||
| 4 | <suite name="BugTests"> | 4 | <suite name="BugTests"> |
| 5 | 5 | ||
| 6 | <test name="BugTest"> | 6 | <test name="BugTest"> |
| 7 | <groups> | ||
| 8 | <run> | ||
| 9 | <include name="BugTesters"/> | ||
| 10 | </run> | ||
| 11 | </groups> | ||
| 12 | <classes> | 7 | <classes> |
| 13 | <class name="uk.ac.ox.cs.pagoda.global_tests.MinimumCardinalityTest"/> | 8 | <class name="uk.ac.ox.cs.pagoda.global_tests.BugTests"/> |
| 14 | </classes> | 9 | </classes> |
| 15 | </test> | 10 | </test> |
| 16 | 11 | ||