File tree Expand file tree Collapse file tree 5 files changed +23
-31
lines changed
utbot-framework-api/src/main/kotlin/org/utbot/testcheckers
utbot-framework-test/src/test/kotlin/org/utbot/examples/stream Expand file tree Collapse file tree 5 files changed +23
-31
lines changed Original file line number Diff line number Diff line change @@ -121,3 +121,13 @@ inline fun <reified T> withoutSandbox(block: () -> T): T {
121
121
UtSettings .useSandbox = prev
122
122
}
123
123
}
124
+
125
+ inline fun <reified T > withPathSelectorStepsLimit (stepsLimit : Int , block : () -> T ): T {
126
+ val prev = UtSettings .pathSelectorStepsLimit
127
+ UtSettings .pathSelectorStepsLimit = stepsLimit
128
+ try {
129
+ return block()
130
+ } finally {
131
+ UtSettings .pathSelectorStepsLimit = prev
132
+ }
133
+ }
Original file line number Diff line number Diff line change @@ -3,7 +3,6 @@ package org.utbot.examples.stream
3
3
import org.junit.jupiter.api.Disabled
4
4
import org.junit.jupiter.api.Tag
5
5
import org.junit.jupiter.api.Test
6
- import org.utbot.examples.AtLeast
7
6
import org.utbot.tests.infrastructure.UtValueTestCaseChecker
8
7
import org.utbot.tests.infrastructure.DoNotCalculate
9
8
import org.utbot.tests.infrastructure.Full
@@ -14,6 +13,7 @@ import org.utbot.tests.infrastructure.isException
14
13
import org.utbot.framework.plugin.api.CodegenLanguage
15
14
import org.utbot.testcheckers.eq
16
15
import org.utbot.testcheckers.withoutConcrete
16
+ import org.utbot.tests.infrastructure.AtLeast
17
17
import org.utbot.tests.infrastructure.CodeGeneration
18
18
import java.util.Optional
19
19
import java.util.stream.Stream
Original file line number Diff line number Diff line change @@ -3,17 +3,11 @@ package org.utbot.examples.stream
3
3
import org.junit.jupiter.api.Disabled
4
4
import org.junit.jupiter.api.Tag
5
5
import org.junit.jupiter.api.Test
6
- import org.utbot.examples.AtLeast
7
- import org.utbot.examples.UtValueTestCaseChecker
8
- import org.utbot.examples.Full
9
- import org.utbot.examples.FullWithAssumptions
10
- import org.utbot.examples.eq
11
- import org.utbot.examples.ignoreExecutionsNumber
12
- import org.utbot.examples.isException
13
- import org.utbot.examples.withPathSelectorStepsLimit
14
- import org.utbot.examples.withoutConcrete
15
- import org.utbot.framework.codegen.CodeGeneration
16
6
import org.utbot.framework.plugin.api.CodegenLanguage
7
+ import org.utbot.testcheckers.eq
8
+ import org.utbot.testcheckers.withPathSelectorStepsLimit
9
+ import org.utbot.testcheckers.withoutConcrete
10
+ import org.utbot.tests.infrastructure.*
17
11
import java.util.OptionalDouble
18
12
import java.util.stream.DoubleStream
19
13
import kotlin.streams.toList
Original file line number Diff line number Diff line change @@ -2,16 +2,10 @@ package org.utbot.examples.stream
2
2
3
3
import org.junit.jupiter.api.Tag
4
4
import org.junit.jupiter.api.Test
5
- import org.utbot.examples.AtLeast
6
- import org.utbot.examples.UtValueTestCaseChecker
7
- import org.utbot.examples.Full
8
- import org.utbot.examples.FullWithAssumptions
9
- import org.utbot.examples.eq
10
- import org.utbot.examples.ignoreExecutionsNumber
11
- import org.utbot.examples.isException
12
- import org.utbot.examples.withPathSelectorStepsLimit
13
- import org.utbot.examples.withoutConcrete
14
- import org.utbot.framework.codegen.CodeGeneration
5
+ import org.utbot.testcheckers.eq
6
+ import org.utbot.testcheckers.withPathSelectorStepsLimit
7
+ import org.utbot.testcheckers.withoutConcrete
8
+ import org.utbot.tests.infrastructure.*
15
9
import org.utbot.framework.plugin.api.CodegenLanguage
16
10
import java.util.OptionalDouble
17
11
import java.util.OptionalInt
Original file line number Diff line number Diff line change @@ -2,17 +2,11 @@ package org.utbot.examples.stream
2
2
3
3
import org.junit.jupiter.api.Tag
4
4
import org.junit.jupiter.api.Test
5
- import org.utbot.examples.AtLeast
6
- import org.utbot.examples.UtValueTestCaseChecker
7
- import org.utbot.examples.Full
8
- import org.utbot.examples.FullWithAssumptions
9
- import org.utbot.examples.eq
10
- import org.utbot.examples.ignoreExecutionsNumber
11
- import org.utbot.examples.isException
12
- import org.utbot.examples.withPathSelectorStepsLimit
13
- import org.utbot.examples.withoutConcrete
14
- import org.utbot.framework.codegen.CodeGeneration
15
5
import org.utbot.framework.plugin.api.CodegenLanguage
6
+ import org.utbot.testcheckers.eq
7
+ import org.utbot.testcheckers.withPathSelectorStepsLimit
8
+ import org.utbot.testcheckers.withoutConcrete
9
+ import org.utbot.tests.infrastructure.*
16
10
import java.util.OptionalDouble
17
11
import java.util.OptionalLong
18
12
import java.util.stream.LongStream
You can’t perform that action at this time.
0 commit comments