Build facility for TTool tests

src/main/java/tmltranslator/dsez3engine/OptimizationModel.java

@@ -823,12 +823,7 @@ public class OptimizationModel {
 
     }
 
-
-    class TestFailedException extends Exception {
-        public TestFailedException() {
-            super("Check FAILED");
-        }
-    }
+    
 
 
 }

ttool/build.gradle

@@ -57,5 +57,5 @@ jar {
 mainClassName = 'Main'
 
 test {
-  testLogging.showStandardStreams = true
+  testLogging.showStandardStreams = false
 }