Use deterministic CI test baseline

Author: disteph

build.xml

@@ -293,6 +293,28 @@
     </junit>
   </target>
 
+  <target name="ci-test" depends="dist,test-compile,install">
+    <echo> Running CI tests </echo>
+    <echo> test_classes:  ${test_classes} </echo>
+    <echo> java.library.path:  ${java.library.path} </echo>
+    <junit printsummary="on" haltonfailure="yes" fork="true">
+      <sysproperty key="java.library.path" path="${jnilib}"/>
+      <classpath>
+        <path refid="classpath.test"/>
+        <pathelement location="${test_classes}"/>
+      </classpath>
+      <formatter type="brief" usefile="false" />
+      <test name="com.sri.yices.TestBigRationals"/>
+      <test name="com.sri.yices.TestConstructor"/>
+      <test name="com.sri.yices.TestContext"/>
+      <test name="com.sri.yices.TestStatus"/>
+      <test name="com.sri.yices.TestTypes"/>
+      <test name="com.sri.yices.TestYices"/>
+      <test name="com.sri.yices.TestModels"/>
+      <test name="com.sri.yices.TestTermComponents"/>
+    </junit>
+  </target>
+
   <path id="classpath.examples">
     <pathelement location="${dist}/lib/yices.jar"/>
     <pathelement location="examples"/>

scripts/ci-build-test-unix.sh

@@ -49,7 +49,7 @@ run_java_ci() {
   export YICES_CLASSPATH="${REPO_ROOT}/build/classes"
 
   pushd "${REPO_ROOT}" >/dev/null
-  ant clean test
+  ant clean ci-test
   popd >/dev/null
 }
 

scripts/ci-build-test-windows.sh

@@ -144,8 +144,7 @@ run_tests() {
     com.sri.yices.TestTypes \
     com.sri.yices.TestYices \
     com.sri.yices.TestModels \
-    com.sri.yices.TestTermComponents \
-    com.sri.yices.TestThreads
+    com.sri.yices.TestTermComponents
   popd >/dev/null
 }