Update build.xml

wvisser · 19896913 · Jul 24, 2018 · Jul 24, 2018 · Jul 24, 2018 · Jul 24, 2018
commit 7af959e619da705141bec36a34788e300d0bf2b1
diff --git a/build.xml b/build.xml
@@ -95,7 +95,7 @@
     <target name="test">
     	<echo message="java.library.path = ${z3lib};${cvc3lib}"/>
         <mkdir dir="${junit.dir}"/>
-        <junit fork="yes" printsummary="withOutAndErr" haltonfailure = "yes">
+        <junit fork="yes" printsummary="yes" showoutput="true" haltonfailure = "yes">
             <formatter type="xml"/>
             <test name="za.ac.sun.cs.green.EntireSuite" todir="${junit.dir}"/>
             <env key="DYLD_LIBRARY_PATH" value="lib"/>