aboutsummaryrefslogtreecommitdiff
path: root/src/test/java/resources/BugTests.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/BugTests.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/BugTests.xml')
-rw-r--r--src/test/java/resources/BugTests.xml14
1 files changed, 14 insertions, 0 deletions
diff --git a/src/test/java/resources/BugTests.xml b/src/test/java/resources/BugTests.xml
new file mode 100644
index 0000000..92ac26d
--- /dev/null
+++ b/src/test/java/resources/BugTests.xml
@@ -0,0 +1,14 @@
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 <classes>
8 <class name="uk.ac.ox.cs.pagoda.global_tests.TestGapMappedToLower" />
9 <!--<class name="uk.ac.ox.cs.pagoda.global_tests.BugTests"/>-->
10 <!--<class name="uk.ac.ox.cs.pagoda.endomorph.DependencyGraphTest"/>-->
11 </classes>
12 </test>
13
14</suite> \ No newline at end of file