Skip to content

Commit bd06798

Browse files
committed
Used coverage calculation instead of matchers for flaky executions number in MapPart1 tests
1 parent ad246cb commit bd06798

File tree

13 files changed

+91
-96
lines changed

13 files changed

+91
-96
lines changed

utbot-framework-api/src/main/kotlin/org/utbot/testcheckers/SettingsModificators.kt

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -99,9 +99,9 @@ inline fun <reified T> withSolverTimeoutInMillis(timeoutInMillis: Int, block: ()
9999
}
100100
}
101101

102-
inline fun <reified T> withoutConcrete(block: () -> T): T {
102+
inline fun <reified T> withConcrete(useConcreteExecution: Boolean, block: () -> T): T {
103103
val prev = UtSettings.useConcreteExecution
104-
UtSettings.useConcreteExecution = false
104+
UtSettings.useConcreteExecution = useConcreteExecution
105105
try {
106106
return block()
107107
} finally {

utbot-framework-test/src/test/kotlin/org/utbot/examples/codegen/CodegenExampleTest.kt

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -5,12 +5,12 @@ import org.utbot.examples.mock.MockRandomExamples
55
import kotlin.reflect.full.functions
66
import org.junit.jupiter.api.Disabled
77
import org.junit.jupiter.api.Test
8-
import org.utbot.testcheckers.withoutConcrete
8+
import org.utbot.testcheckers.withConcrete
99

1010
internal class CodegenExampleTest : UtValueTestCaseChecker(testClass = CodegenExample::class) {
1111
@Test
1212
fun firstExampleTest() {
13-
withoutConcrete {
13+
withConcrete(useConcreteExecution = false) {
1414
checkAllCombinations(
1515
CodegenExample::firstExample,
1616
)

0 commit comments

Comments
 (0)