diff options
| author | RncLsn <rnc.lsn@gmail.com> | 2015-05-20 18:52:47 +0100 |
|---|---|---|
| committer | RncLsn <rnc.lsn@gmail.com> | 2015-05-20 18:52:47 +0100 |
| commit | d81b086fe329fa69891eba0a4b1f73e44183620d (patch) | |
| tree | 7c55c80678660cdbd3dae18e94c4baf5b0680e11 /test/resources/LightTests.xml | |
| parent | 7a68441a541b12b22587fb53072193e1130049ff (diff) | |
| download | ACQuA-d81b086fe329fa69891eba0a4b1f73e44183620d.tar.gz ACQuA-d81b086fe329fa69891eba0a4b1f73e44183620d.zip | |
Added more tests.
Querying of the upper bound is currently unstable.
Diffstat (limited to 'test/resources/LightTests.xml')
| -rw-r--r-- | test/resources/LightTests.xml | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/test/resources/LightTests.xml b/test/resources/LightTests.xml index d8691d7..50888ef 100644 --- a/test/resources/LightTests.xml +++ b/test/resources/LightTests.xml | |||
| @@ -10,9 +10,9 @@ | |||
| 10 | </groups> | 10 | </groups> |
| 11 | 11 | ||
| 12 | <classes> | 12 | <classes> |
| 13 | <class name="uk.ac.ox.cs.pagoda.global_tests.TestPagodaUOBM"/> | 13 | <!--<class name="uk.ac.ox.cs.pagoda.global_tests.TestPagodaUOBM"/>--> |
| 14 | <class name="uk.ac.ox.cs.pagoda.global_tests.TestPagodaLUBM"/> | 14 | <!--<class name="uk.ac.ox.cs.pagoda.global_tests.TestPagodaLUBM"/>--> |
| 15 | <!--<class name="uk.ac.ox.cs.pagoda.global_tests.TestPagodaFLY"/>--> | 15 | <class name="uk.ac.ox.cs.pagoda.global_tests.TestPagodaFLY"/> |
| 16 | </classes> | 16 | </classes> |
| 17 | </test> | 17 | </test> |
| 18 | </suite> \ No newline at end of file | 18 | </suite> \ No newline at end of file |