diff --git a/src/main/java/tmltranslator/dsez3engine/OptimizationModel.java b/src/main/java/tmltranslator/dsez3engine/OptimizationModel.java index 96ee9a13b36c87b9af3f1eed8aeec317b53e589d..917f6207441285c140e0682f06fb6bbfe08333d9 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 502062b93e293401c7c20f6699002e286fd1edae..c23db901286b5a8552515070962a95b573324ea2 100644 --- a/ttool/build.gradle +++ b/ttool/build.gradle @@ -57,5 +57,5 @@ jar { mainClassName = 'Main' test { - testLogging.showStandardStreams = true + testLogging.showStandardStreams = false }