1
1
package org.utbot.examples.lambda
2
2
3
3
import org.junit.jupiter.api.Test
4
- import org.utbot.examples.UtValueTestCaseChecker
5
- import org.utbot.examples.eq
4
+ import org.utbot.testcheckers.eq
5
+ import org.utbot.tests.infrastructure.DoNotCalculate
6
+ import org.utbot.tests.infrastructure.UtValueTestCaseChecker
6
7
7
8
class CustomPredicateExampleTest : UtValueTestCaseChecker (testClass = CustomPredicateExample : :class) {
8
9
@Test
@@ -12,6 +13,7 @@ class CustomPredicateExampleTest : UtValueTestCaseChecker(testClass = CustomPred
12
13
eq(2 ),
13
14
{ predicate, x, r -> ! predicate.test(x) && ! r!! },
14
15
{ predicate, x, r -> predicate.test(x) && r!! },
16
+ coverage = DoNotCalculate
15
17
)
16
18
}
17
19
@@ -22,6 +24,7 @@ class CustomPredicateExampleTest : UtValueTestCaseChecker(testClass = CustomPred
22
24
eq(2 ),
23
25
{ predicate, x, r -> ! predicate.test(x) && ! r!! },
24
26
{ predicate, x, r -> predicate.test(x) && r!! },
27
+ coverage = DoNotCalculate
25
28
)
26
29
}
27
30
@@ -32,6 +35,7 @@ class CustomPredicateExampleTest : UtValueTestCaseChecker(testClass = CustomPred
32
35
eq(2 ),
33
36
{ predicate, x, r -> ! predicate.test(x) && ! r!! },
34
37
{ predicate, x, r -> predicate.test(x) && r!! },
38
+ coverage = DoNotCalculate
35
39
)
36
40
}
37
41
@@ -42,6 +46,7 @@ class CustomPredicateExampleTest : UtValueTestCaseChecker(testClass = CustomPred
42
46
eq(2 ),
43
47
{ predicate, x, r -> ! predicate.test(x) && ! r!! },
44
48
{ predicate, x, r -> predicate.test(x) && r!! },
49
+ coverage = DoNotCalculate
45
50
)
46
51
}
47
52
@@ -52,6 +57,7 @@ class CustomPredicateExampleTest : UtValueTestCaseChecker(testClass = CustomPred
52
57
eq(2 ),
53
58
{ predicate, x, r -> ! predicate.test(x) && ! r!! },
54
59
{ predicate, x, r -> predicate.test(x) && r!! },
60
+ coverage = DoNotCalculate
55
61
)
56
62
}
57
63
}
0 commit comments