1 files changed, 17 insertions, 0 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 @@
+<?xml version="1.0" encoding="UTF-8"?>
+<!DOCTYPE suite SYSTEM "http://testng.org/testng-1.0.dtd" >
+
+<suite name="BugTests">
+
+    <test name="BugTest">
+        <groups>
+            <run>
+                <include name="BugTesters"/>
+            </run>
+        </groups>
+        <classes>
+            <class name="uk.ac.ox.cs.pagoda.global_tests.MinimumCardinalityTest"/>
+        </classes>
+    </test>
+
+</suite>
\ No newline at end of file