diff options
| author | RncLsn <rnc.lsn@gmail.com> | 2015-06-16 15:54:53 +0100 |
|---|---|---|
| committer | RncLsn <rnc.lsn@gmail.com> | 2015-06-26 12:04:49 +0100 |
| commit | 29eecb27c7f91de92b21bbd646d8b7a55e526833 (patch) | |
| tree | 233481bccd68e4b718598320f121024db16ff0e5 /test/resources/Correctness.xml | |
| parent | 3a276b7c7836e56a171ab753b018913ce022ba8e (diff) | |
| download | ACQuA-29eecb27c7f91de92b21bbd646d8b7a55e526833.tar.gz ACQuA-29eecb27c7f91de92b21bbd646d8b7a55e526833.zip | |
Maybe fixed bug in internalisation.
Diffstat (limited to 'test/resources/Correctness.xml')
| -rw-r--r-- | test/resources/Correctness.xml | 20 |
1 files changed, 20 insertions, 0 deletions
diff --git a/test/resources/Correctness.xml b/test/resources/Correctness.xml new file mode 100644 index 0000000..3b00b7b --- /dev/null +++ b/test/resources/Correctness.xml | |||
| @@ -0,0 +1,20 @@ | |||
| 1 | <?xml version="1.0" encoding="UTF-8"?> | ||
| 2 | <!DOCTYPE suite SYSTEM "http://testng.org/testng-1.0.dtd" > | ||
| 3 | |||
| 4 | <suite name="Correctness"> | ||
| 5 | |||
| 6 | <test name="correctness"> | ||
| 7 | <groups> | ||
| 8 | <run> | ||
| 9 | <include name="correctness"/> | ||
| 10 | <exclude name="heavy"/> | ||
| 11 | </run> | ||
| 12 | </groups> | ||
| 13 | <classes> | ||
| 14 | <class name="uk.ac.ox.cs.pagoda.global_tests.TestPagodaUOBM"/> | ||
| 15 | <!--<class name="uk.ac.ox.cs.pagoda.global_tests.TestPagodaLUBM"/>--> | ||
| 16 | <!--<class name="uk.ac.ox.cs.pagoda.global_tests.TestPagodaFLY"/>--> | ||
| 17 | </classes> | ||
| 18 | </test> | ||
| 19 | |||
| 20 | </suite> \ No newline at end of file | ||