aboutsummaryrefslogtreecommitdiff
path: root/src/test/java/resources/Correctness.xml
diff options
context:
space:
mode:
authorFederico Igne <federico.igne@cs.ox.ac.uk>2022-05-10 18:17:06 +0100
committerFederico Igne <federico.igne@cs.ox.ac.uk>2022-05-11 12:34:47 +0100
commit17bd9beaf7f358a44e5bf36a5855fe6727d506dc (patch)
tree47e9310a0cff869d9ec017dcb2c81876407782c8 /src/test/java/resources/Correctness.xml
parent8651164cd632a5db310b457ce32d4fbc97bdc41c (diff)
downloadACQuA-17bd9beaf7f358a44e5bf36a5855fe6727d506dc.tar.gz
ACQuA-17bd9beaf7f358a44e5bf36a5855fe6727d506dc.zip
[pagoda] Move project to Scala
This commit includes a few changes: - The repository still uses Maven to manage dependency but it is now a Scala project. - The code has been ported from OWLAPI 3.4.10 to 5.1.20 - A proof of concept program using both RSAComb and PAGOdA has been added.
Diffstat (limited to 'src/test/java/resources/Correctness.xml')
-rw-r--r--src/test/java/resources/Correctness.xml21
1 files changed, 21 insertions, 0 deletions
diff --git a/src/test/java/resources/Correctness.xml b/src/test/java/resources/Correctness.xml
new file mode 100644
index 0000000..18a69fa
--- /dev/null
+++ b/src/test/java/resources/Correctness.xml
@@ -0,0 +1,21 @@
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 <!--<include name="UOBM50"/>-->
12 </run>
13 </groups>
14 <classes>
15 <class name="uk.ac.ox.cs.pagoda.global_tests.TestPagodaUOBM"/>
16 <!--<class name="uk.ac.ox.cs.pagoda.global_tests.TestPagodaLUBM"/>-->
17 <!--<class name="uk.ac.ox.cs.pagoda.global_tests.TestPagodaFLY"/>-->
18 </classes>
19 </test>
20
21</suite> \ No newline at end of file