Disabled concrete execution for tests

Damtev · Damtev · commit 3a0199c6f5ba · 2022-10-27T16:44:16.000+08:00
diff --git a/utbot-framework/src/main/kotlin/org/utbot/tests/infrastructure/UtValueTestCaseChecker.kt b/utbot-framework/src/main/kotlin/org/utbot/tests/infrastructure/UtValueTestCaseChecker.kt
@@ -89,6 +89,8 @@ abstract class UtValueTestCaseChecker(
         UtSettings.useFuzzing = false
         UtSettings.useCustomJavaDocTags = false
         UtSettings.enableSummariesGeneration = true
+        // Disable concrete execution to detect failed symbolic tests
+        UtSettings.useConcreteExecution = false
     }
 
     // checks paramsBefore and result

Original file line number	Diff line number	Diff line change
`@@ -89,6 +89,8 @@ abstract class UtValueTestCaseChecker(`
`89`	`89`	`UtSettings.useFuzzing = false`
`90`	`90`	`UtSettings.useCustomJavaDocTags = false`
`91`	`91`	`UtSettings.enableSummariesGeneration = true`
	`92`	`+ // Disable concrete execution to detect failed symbolic tests`
	`93`	`+ UtSettings.useConcreteExecution = false`
`92`	`94`	`}`
`93`	`95`
`94`	`96`	`// checks paramsBefore and result`