Fixed terms' depth count in SkolemTermsManager (it was always zero).

1 files changed, 15 insertions, 1 deletions

diff --git a/pom.xml b/pom.xml
index ad8c2b1..0a9f1c7 100644
--- a/pom.xml
+++ b/pom.xml
@@ -1,4 +1,4 @@
-<project xmlns="http://maven.apache.org/POM/4.0.0" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance"
+<project xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" xmlns="http://maven.apache.org/POM/4.0.0"
         xsi:schemaLocation="http://maven.apache.org/POM/4.0.0 http://maven.apache.org/xsd/maven-4.0.0.xsd">
         <modelVersion>4.0.0</modelVersion>
         <groupId>uk.ac.ox.cs.pagoda</groupId>
@@ -88,6 +88,20 @@
                                 <artifactId>dashboard-maven-plugin</artifactId>
                                 <version>1.0.0-beta-1</version>
                         </plugin>
+                        <plugin>
+                                <groupId>org.apache.maven.plugins</groupId>
+                                <artifactId>maven-surefire-plugin</artifactId>
+                                <version>2.13</version>
+                                <configuration>
+                                        <forkMode>always</forkMode>
+                                        <systemPropertyVariables>
+                                                <reporter.debug>false</reporter.debug>
+                                        </systemPropertyVariables>
+                                        <suiteXmlFiles>
+                                                <suiteXmlFile>testResources/LightTests.xml</suiteXmlFile>
+                                        </suiteXmlFiles>
+                                </configuration>
+                        </plugin>
                 </plugins>
         </reporting>
         <dependencies>