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)