From 69cd15783ad29f9700bef183f4c17e4980db7487 Mon Sep 17 00:00:00 2001
From: Maksim Pelevin <maks.pelevin@gmail.com>
Date: Tue, 12 Jul 2022 19:03:52 +0300
Subject: [PATCH] Turn of fuzzing for AbstractModelBasedTest.kt

---
 .../test/kotlin/org/utbot/examples/AbstractModelBasedTest.kt    | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/utbot-framework/src/test/kotlin/org/utbot/examples/AbstractModelBasedTest.kt b/utbot-framework/src/test/kotlin/org/utbot/examples/AbstractModelBasedTest.kt
index cac05041c3..10b46f8841 100644
--- a/utbot-framework/src/test/kotlin/org/utbot/examples/AbstractModelBasedTest.kt
+++ b/utbot-framework/src/test/kotlin/org/utbot/examples/AbstractModelBasedTest.kt
@@ -38,6 +38,7 @@ import kotlin.reflect.KFunction1
 import kotlin.reflect.KFunction2
 import kotlin.reflect.KFunction3
 import org.junit.jupiter.api.Assertions.assertTrue
+import org.utbot.framework.UtSettings.useFuzzing
 
 internal abstract class AbstractModelBasedTest(
     testClass: KClass<*>,
@@ -88,6 +89,7 @@ internal abstract class AbstractModelBasedTest(
         workaround(HACK) {
             // @todo change to the constructor parameter
             checkSolverTimeoutMillis = 0
+            useFuzzing = false
         }
         val utMethod = UtMethod.from(method)