aboutsummaryrefslogtreecommitdiff
path: root/test/resources/Correctness.xml
diff options
context:
space:
mode:
authorRncLsn <rnc.lsn@gmail.com>2015-08-06 14:20:21 +0100
committerRncLsn <rnc.lsn@gmail.com>2015-08-06 14:20:21 +0100
commit1bfe7e876c16adf73a4effdbe80431c1822bbe93 (patch)
tree10111fb7da0e2bb015645635e5db6286d2473e60 /test/resources/Correctness.xml
parentdf08d8b2844c45a5333781689b4ca3ae32a44d9c (diff)
downloadACQuA-1bfe7e876c16adf73a4effdbe80431c1822bbe93.tar.gz
ACQuA-1bfe7e876c16adf73a4effdbe80431c1822bbe93.zip
Version number (2.1.1-SNAPSHOT)
Diffstat (limited to 'test/resources/Correctness.xml')
-rw-r--r--test/resources/Correctness.xml1
1 files changed, 1 insertions, 0 deletions
diff --git a/test/resources/Correctness.xml b/test/resources/Correctness.xml
index 3b00b7b..18a69fa 100644
--- a/test/resources/Correctness.xml
+++ b/test/resources/Correctness.xml
@@ -8,6 +8,7 @@
8 <run> 8 <run>
9 <include name="correctness"/> 9 <include name="correctness"/>
10 <exclude name="heavy"/> 10 <exclude name="heavy"/>
11 <!--<include name="UOBM50"/>-->
11 </run> 12 </run>
12 </groups> 13 </groups>
13 <classes> 14 <classes>