Skip to content

Commit 2e0e8d4

Browse files
committed
turn off back
1 parent c8a4f91 commit 2e0e8d4

File tree

2 files changed

+5
-6
lines changed

2 files changed

+5
-6
lines changed

utbot-framework-api/src/main/kotlin/org/utbot/framework/UtSettings.kt

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -246,7 +246,7 @@ object UtSettings {
246246
/**
247247
* Set to true to initialize symbolic parameters by values from fuzzing.
248248
*/
249-
var useFuzzingInitialization: Boolean by getBooleanProperty(true)
249+
var useFuzzingInitialization: Boolean by getBooleanProperty(false)
250250

251251
/**
252252
* Set the total attempts to improve coverage by fuzzer.

utbot-framework/src/main/kotlin/org/utbot/engine/Extensions.kt

Lines changed: 4 additions & 5 deletions
Original file line numberDiff line numberDiff line change
@@ -5,6 +5,10 @@ import java.lang.reflect.Constructor
55
import java.lang.reflect.Method
66
import java.lang.reflect.Modifier
77
import java.util.concurrent.ConcurrentHashMap
8+
import kotlin.reflect.KFunction
9+
import kotlin.reflect.KProperty
10+
import kotlin.reflect.jvm.javaConstructor
11+
import kotlin.reflect.jvm.javaMethod
812
import kotlinx.collections.immutable.PersistentMap
913
import kotlinx.collections.immutable.persistentHashMapOf
1014
import org.utbot.api.mock.UtMock
@@ -38,7 +42,6 @@ import org.utbot.engine.pc.mkShort
3842
import org.utbot.engine.pc.mkString
3943
import org.utbot.engine.pc.select
4044
import org.utbot.engine.pc.toSort
41-
import org.utbot.framework.UtSettings.checkNpeForFinalFields
4245
import org.utbot.framework.UtSettings.checkNpeInNestedMethods
4346
import org.utbot.framework.UtSettings.checkNpeInNestedNotPrivateMethods
4447
import org.utbot.framework.plugin.api.ClassId
@@ -73,10 +76,6 @@ import soot.jimple.internal.JVirtualInvokeExpr
7376
import soot.jimple.internal.JimpleLocal
7477
import soot.tagkit.ArtificialEntityTag
7578
import sun.reflect.generics.reflectiveObjects.ParameterizedTypeImpl
76-
import kotlin.reflect.KFunction
77-
import kotlin.reflect.KProperty
78-
import kotlin.reflect.jvm.javaConstructor
79-
import kotlin.reflect.jvm.javaMethod
8079

8180
val JIdentityStmt.lines: String
8281
get() = tags.joinToString { "$it" }

0 commit comments

Comments
 (0)