From 17bd9beaf7f358a44e5bf36a5855fe6727d506dc Mon Sep 17 00:00:00 2001
From: Federico Igne <federico.igne@cs.ox.ac.uk>
Date: Tue, 10 May 2022 18:17:06 +0100
Subject: [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.
---
 test/resources/Correctness.xml | 21 ---------------------
 1 file changed, 21 deletions(-)
 delete mode 100644 test/resources/Correctness.xml

(limited to 'test/resources/Correctness.xml')

diff --git a/test/resources/Correctness.xml b/test/resources/Correctness.xml
deleted file mode 100644
index 18a69fa..0000000
--- a/test/resources/Correctness.xml
+++ /dev/null
@@ -1,21 +0,0 @@
-<?xml version="1.0" encoding="UTF-8"?>
-<!DOCTYPE suite SYSTEM "http://testng.org/testng-1.0.dtd" >
-
-<suite name="Correctness">
-
-    <test name="correctness">
-        <groups>
-            <run>
-                <include name="correctness"/>
-                <exclude name="heavy"/>
-                <!--<include name="UOBM50"/>-->
-            </run>
-        </groups>
-        <classes>
-            <class name="uk.ac.ox.cs.pagoda.global_tests.TestPagodaUOBM"/>
-            <!--<class name="uk.ac.ox.cs.pagoda.global_tests.TestPagodaLUBM"/>-->
-            <!--<class name="uk.ac.ox.cs.pagoda.global_tests.TestPagodaFLY"/>-->
-        </classes>
-    </test>
-
-</suite>
\ No newline at end of file
-- 
cgit v1.2.3