Copied Files but could not get tests to run

.travis.yml

@@ -1,5 +1,13 @@
+sudo: required
+dist: trusty
+
+services: docker
+
 language: java
 
 script:
- - ant;
- - ant test;
+ - docker-compose up --build -d
+ - docker ps -a
+
+after_script:
+ - docker-compose down

Dockerfile

@@ -15,7 +15,7 @@ RUN apt install patchelf -y
 RUN apt install libgomp1
 
 # Clone down the GreenSolver repository
-RUN git clone https://github.com/wvisser/green
+RUN git clone https://github.com/marcdefaria/green
 
 # Download and extract Z3
 RUN mkdir z3
@@ -35,3 +35,7 @@ RUN mv z3-4.7.1-x64-ubuntu-16.04/ z3/
 WORKDIR /green/
 RUN sed -i '16s/.*/z3path = \/z3\/z3\/bin\/z3/' build.properties
 RUN sed -i '17s/.*/z3lib = \/z3\/z3\/bin/' build.properties
+
+#run the test
+RUN ant
+RUN ant test

README.md

@@ -1,7 +1,7 @@
-[![Build Status](https://travis-ci.org/wvisser/green.svg?branch=master)](https://travis-ci.org/wvisser/green.svg?branch=master)
+[![Build Status](https://travis-ci.org/marcdefaria/green.svg?branch=master)](https://travis-ci.org/marcdefaria/green)
 
 Notes:
-
+HvQSDNw9jQZYGx6mw8N0Bg
 The first step is to update "build.properties" with your local
 settings.  You do not need to set z3 and latte, but in that case
 some unit tests won't run.

build.xml

@@ -95,8 +95,8 @@
     <target name="test">
     	<echo message="java.library.path = ${z3lib};${cvc3lib}"/>
         <mkdir dir="${junit.dir}"/>
-        <junit fork="yes" printsummary="withOutAndErr" haltonfailure = "yes">
-            <formatter type="xml"/>
+        <junit fork="yes" printsummary="yes" haltonfailure = "yes" showoutput="true">
+            <formatter type="plain" usefile="false"/>
             <test name="za.ac.sun.cs.green.EntireSuite" todir="${junit.dir}"/>
             <env key="DYLD_LIBRARY_PATH" value="lib"/>
             <env key="LD_LIBRARY_PATH" value="lib"/>
@@ -108,7 +108,7 @@
                 <include name="TEST-*.xml"/>
             </fileset>
             <report format="frames" todir="${junit.dir}"/>
-        </junitreport>
+        </junitreport>		
     </target>
 
 <!--

docker-compose.yml

@@ -0,0 +1,10 @@
+version: '2'
+services:
+  web:
+    build: .
+    ports:
+     - "5000:5000"
+    volumes:
+     - .:/code
+  redis:
+    image: "redis:alpine"