aboutsummaryrefslogtreecommitdiff
path: root/test/resources
diff options
context:
space:
mode:
authorRncLsn <rnc.lsn@gmail.com>2015-06-16 15:54:53 +0100
committerRncLsn <rnc.lsn@gmail.com>2015-06-16 15:54:53 +0100
commit7cd962751db2a88f426b8b9d7b9dd0d76e2cc1b5 (patch)
treea271283211f9a156e7cb04f578a94a3ca5d0d0f7 /test/resources
parent3a276b7c7836e56a171ab753b018913ce022ba8e (diff)
downloadACQuA-7cd962751db2a88f426b8b9d7b9dd0d76e2cc1b5.tar.gz
ACQuA-7cd962751db2a88f426b8b9d7b9dd0d76e2cc1b5.zip
Maybe fixed bug in internalisation.
Diffstat (limited to 'test/resources')
-rw-r--r--test/resources/BugTests.xml17
-rw-r--r--test/resources/LightTests.xml4
2 files changed, 19 insertions, 2 deletions
diff --git a/test/resources/BugTests.xml b/test/resources/BugTests.xml
new file mode 100644
index 0000000..5782bd4
--- /dev/null
+++ b/test/resources/BugTests.xml
@@ -0,0 +1,17 @@
1<?xml version="1.0" encoding="UTF-8"?>
2<!DOCTYPE suite SYSTEM "http://testng.org/testng-1.0.dtd" >
3
4<suite name="BugTests">
5
6 <test name="BugTest">
7 <groups>
8 <run>
9 <include name="BugTesters"/>
10 </run>
11 </groups>
12 <classes>
13 <class name="uk.ac.ox.cs.pagoda.global_tests.MinimumCardinalityTest"/>
14 </classes>
15 </test>
16
17</suite> \ No newline at end of file
diff --git a/test/resources/LightTests.xml b/test/resources/LightTests.xml
index 2bc8dac..69cb572 100644
--- a/test/resources/LightTests.xml
+++ b/test/resources/LightTests.xml
@@ -5,8 +5,8 @@
5 <test name="light"> 5 <test name="light">
6 <groups> 6 <groups>
7 <run> 7 <run>
8 <!--<include name="light"/>--> 8 <include name="light"/>
9 <include name="justExecute"/> 9 <!--<include name="justExecute"/>-->
10 </run> 10 </run>
11 </groups> 11 </groups>
12 <classes> 12 <classes>