From ce21c232e09fc27764b0c0ec506473e6bfef19a1 Mon Sep 17 00:00:00 2001
From: apvrille <ludovic.apvrille@eurecom.fr>
Date: Thu, 28 Feb 2019 12:55:24 +0100
Subject: [PATCH] Build facility for TTool tests
---
.../java/tmltranslator/dsez3engine/OptimizationModel.java | 7 +------
ttool/build.gradle | 2 +-
2 files changed, 2 insertions(+), 7 deletions(-)
diff --git a/src/main/java/tmltranslator/dsez3engine/OptimizationModel.java b/src/main/java/tmltranslator/dsez3engine/OptimizationModel.java
index 96ee9a13b3..917f620744 100644
--- a/src/main/java/tmltranslator/dsez3engine/OptimizationModel.java
+++ b/src/main/java/tmltranslator/dsez3engine/OptimizationModel.java
@@ -823,12 +823,7 @@ public class OptimizationModel {
}
-
- class TestFailedException extends Exception {
- public TestFailedException() {
- super("Check FAILED");
- }
- }
+
}
diff --git a/ttool/build.gradle b/ttool/build.gradle
index 502062b93e..c23db90128 100644
--- a/ttool/build.gradle
+++ b/ttool/build.gradle
@@ -57,5 +57,5 @@ jar {
mainClassName = 'Main'
test {
- testLogging.showStandardStreams = true
+ testLogging.showStandardStreams = false
}
--
GitLab