More imports

Author: denis-fokin

utbot-framework-test/src/test/kotlin/org/utbot/examples/algorithms/CorrectBracketSequencesTest.kt

@@ -5,7 +5,10 @@ import org.utbot.framework.plugin.api.DocCodeStmt
 import org.utbot.framework.plugin.api.DocPreTagStatement
 import org.utbot.framework.plugin.api.DocRegularStmt
 import org.junit.jupiter.api.Test
+import org.utbot.examples.algorithms.CorrectBracketSequences.isBracket
+import org.utbot.examples.algorithms.CorrectBracketSequences.isOpen
 import org.utbot.testcheckers.eq
+import org.utbot.testing.*
 
 internal class CorrectBracketSequencesTest : UtValueTestCaseChecker(
     testClass = CorrectBracketSequences::class,

utbot-framework-test/src/test/kotlin/org/utbot/examples/algorithms/GraphTest.kt

@@ -3,6 +3,9 @@ package org.utbot.examples.algorithms
 import org.junit.jupiter.api.Tag
 import org.junit.jupiter.api.Test
 import org.utbot.testcheckers.eq
+import org.utbot.testing.UtValueTestCaseChecker
+import org.utbot.testing.ignoreExecutionsNumber
+import org.utbot.testing.isException
 
 internal class GraphTest : UtValueTestCaseChecker(testClass = GraphExample::class) {
     @Test

utbot-framework-test/src/test/kotlin/org/utbot/examples/algorithms/SortTest.kt

@@ -8,6 +8,7 @@ import org.junit.jupiter.api.Test
 import org.utbot.framework.plugin.api.CodegenLanguage
 import org.utbot.testcheckers.eq
 import org.utbot.testcheckers.ge
+import org.utbot.testing.*
 
 // TODO Kotlin mocks generics https://github.com/UnitTestBot/UTBotJava/issues/88
 internal class SortTest : UtValueTestCaseChecker(

utbot-framework-test/src/test/kotlin/org/utbot/examples/arrays/ArrayOfObjectsTest.kt

@@ -4,6 +4,7 @@ import org.utbot.framework.plugin.api.CodegenLanguage
 import org.junit.jupiter.api.Test
 import org.utbot.testcheckers.eq
 import org.utbot.testcheckers.ge
+import org.utbot.testing.*
 
 // TODO failed Kotlin compilation SAT-1332
 internal class ArrayOfObjectsTest : UtValueTestCaseChecker(

utbot-framework-test/src/test/kotlin/org/utbot/examples/arrays/ArrayStoreExceptionExamplesTest.kt

@@ -4,6 +4,10 @@ import org.junit.jupiter.api.Disabled
 import org.junit.jupiter.api.Test
 import org.utbot.framework.plugin.api.CodegenLanguage
 import org.utbot.testcheckers.eq
+import org.utbot.testing.AtLeast
+import org.utbot.testing.CodeGeneration
+import org.utbot.testing.UtValueTestCaseChecker
+import org.utbot.testing.isException
 
 class ArrayStoreExceptionExamplesTest : UtValueTestCaseChecker(
     testClass = ArrayStoreExceptionExamples::class,

utbot-framework-test/src/test/kotlin/org/utbot/examples/arrays/IntArrayBasicsTest.kt

@@ -5,6 +5,10 @@ import org.utbot.framework.plugin.api.CodegenLanguage
 import org.junit.jupiter.api.Test
 import org.utbot.testcheckers.eq
 import org.utbot.testcheckers.ge
+import org.utbot.testing.CodeGeneration
+import org.utbot.testing.UtValueTestCaseChecker
+import org.utbot.testing.ignoreExecutionsNumber
+import org.utbot.testing.isException
 
 // TODO failed Kotlin compilation SAT-1332
 internal class IntArrayBasicsTest : UtValueTestCaseChecker(

utbot-framework-test/src/test/kotlin/org/utbot/examples/casts/ArrayCastExampleTest.kt

@@ -4,6 +4,9 @@ import org.junit.jupiter.api.Disabled
 import org.utbot.framework.plugin.api.CodegenLanguage
 import org.junit.jupiter.api.Test
 import org.utbot.testcheckers.eq
+import org.utbot.testing.CodeGeneration
+import org.utbot.testing.DoNotCalculate
+import org.utbot.testing.UtValueTestCaseChecker
 
 // TODO failed Kotlin compilation (generics) SAT-1332
 //TODO: SAT-1487 calculate coverage for all methods of this test class

utbot-framework-test/src/test/kotlin/org/utbot/examples/casts/CastExampleTest.kt

@@ -3,6 +3,10 @@ package org.utbot.examples.casts
 import org.utbot.framework.plugin.api.CodegenLanguage
 import org.junit.jupiter.api.Test
 import org.utbot.testcheckers.eq
+import org.utbot.testing.CodeGeneration
+import org.utbot.testing.DoNotCalculate
+import org.utbot.testing.UtValueTestCaseChecker
+import org.utbot.testing.isException
 
 // TODO failed Kotlin compilation SAT-1332
 internal class CastExampleTest : UtValueTestCaseChecker(

utbot-framework-test/src/test/kotlin/org/utbot/examples/casts/GenericCastExampleTest.kt

@@ -3,6 +3,10 @@ package org.utbot.examples.casts
 import org.utbot.framework.plugin.api.CodegenLanguage
 import org.junit.jupiter.api.Test
 import org.utbot.testcheckers.eq
+import org.utbot.testing.CodeGeneration
+import org.utbot.testing.DoNotCalculate
+import org.utbot.testing.UtValueTestCaseChecker
+import org.utbot.testing.between
 
 // TODO failed Kotlin compilation SAT-1332
 internal class GenericCastExampleTest : UtValueTestCaseChecker(

utbot-framework-test/src/test/kotlin/org/utbot/examples/casts/InstanceOfExampleTest.kt

@@ -5,6 +5,10 @@ import org.junit.jupiter.api.Disabled
 import org.junit.jupiter.api.Test
 import org.utbot.testcheckers.eq
 import org.utbot.testcheckers.ge
+import org.utbot.testing.CodeGeneration
+import org.utbot.testing.DoNotCalculate
+import org.utbot.testing.UtValueTestCaseChecker
+import org.utbot.testing.ignoreExecutionsNumber
 
 // TODO failed Kotlin compilation SAT-1332
 internal class InstanceOfExampleTest : UtValueTestCaseChecker(

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

@@ -3,6 +3,10 @@ package org.utbot.examples.codegen
 import org.junit.jupiter.api.Test
 import org.utbot.framework.plugin.api.CodegenLanguage
 import org.utbot.testcheckers.eq
+import org.utbot.testing.Compilation
+import org.utbot.testing.DoNotCalculate
+import org.utbot.testing.TestExecution
+import org.utbot.testing.UtValueTestCaseChecker
 
 @Suppress("INACCESSIBLE_TYPE")
 internal class ClassWithStaticAndInnerClassesTest : UtValueTestCaseChecker(

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

@@ -5,6 +5,7 @@ import kotlin.reflect.full.functions
 import org.junit.jupiter.api.Disabled
 import org.junit.jupiter.api.Test
 import org.utbot.testcheckers.withoutConcrete
+import org.utbot.testing.UtValueTestCaseChecker
 
 internal class CodegenExampleTest : UtValueTestCaseChecker(testClass = CodegenExample::class) {
     @Test

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

@@ -3,6 +3,9 @@ package org.utbot.examples.codegen.deepequals
 import org.junit.jupiter.api.Test
 import org.utbot.framework.plugin.api.CodegenLanguage
 import org.utbot.testcheckers.eq
+import org.utbot.testing.CodeGeneration
+import org.utbot.testing.DoNotCalculate
+import org.utbot.testing.UtValueTestCaseChecker
 
 class ClassWithNullableFieldTest : UtValueTestCaseChecker(
     testClass = ClassWithNullableField::class,

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

@@ -4,6 +4,9 @@ import org.utbot.framework.plugin.api.CodegenLanguage
 import org.junit.jupiter.api.Disabled
 import org.junit.jupiter.api.Test
 import org.utbot.testcheckers.eq
+import org.utbot.testing.CodeGeneration
+import org.utbot.testing.DoNotCalculate
+import org.utbot.testing.UtValueTestCaseChecker
 
 // TODO failed Kotlin compilation (generics) SAT-1332
 class DeepEqualsTest : UtValueTestCaseChecker(

utbot-framework-test/src/test/kotlin/org/utbot/examples/collections/CustomerExamplesTest.kt

@@ -5,6 +5,7 @@ import org.utbot.framework.plugin.api.FieldId
 import org.utbot.framework.plugin.api.UtConcreteValue
 import org.junit.jupiter.api.Test
 import org.utbot.testcheckers.eq
+import org.utbot.testing.*
 
 internal class CustomerExamplesTest: UtValueTestCaseChecker(
     testClass = CustomerExamples::class,

utbot-framework-test/src/test/kotlin/org/utbot/examples/collections/GenericListsExampleTest.kt

@@ -4,6 +4,9 @@ import org.utbot.framework.plugin.api.CodegenLanguage
 import org.junit.jupiter.api.Disabled
 import org.junit.jupiter.api.Test
 import org.utbot.testcheckers.eq
+import org.utbot.testing.CodeGeneration
+import org.utbot.testing.DoNotCalculate
+import org.utbot.testing.UtValueTestCaseChecker
 
 // TODO disabled tests should be fixes with SAT-1441
 internal class GenericListsExampleTest : UtValueTestCaseChecker(

utbot-framework-test/src/test/kotlin/org/utbot/examples/collections/LinkedListsTest.kt

@@ -3,6 +3,10 @@ package org.utbot.examples.collections
 import org.utbot.framework.plugin.api.CodegenLanguage
 import org.junit.jupiter.api.Test
 import org.utbot.testcheckers.eq
+import org.utbot.testing.CodeGeneration
+import org.utbot.testing.DoNotCalculate
+import org.utbot.testing.UtValueTestCaseChecker
+import org.utbot.testing.isException
 
 // TODO failed Kotlin compilation (generics) SAT-1332
 internal class LinkedListsTest : UtValueTestCaseChecker(

utbot-framework-test/src/test/kotlin/org/utbot/examples/collections/ListIteratorsTest.kt

@@ -5,6 +5,10 @@ import org.utbot.framework.plugin.api.CodegenLanguage
 import kotlin.math.min
 import org.junit.jupiter.api.Test
 import org.utbot.testcheckers.eq
+import org.utbot.testing.CodeGeneration
+import org.utbot.testing.DoNotCalculate
+import org.utbot.testing.UtValueTestCaseChecker
+import org.utbot.testing.ignoreExecutionsNumber
 
 // TODO failed Kotlin compilation (generics) SAT-1332
 internal class ListIteratorsTest : UtValueTestCaseChecker(

utbot-framework-test/src/test/kotlin/org/utbot/examples/collections/ListWrapperReturnsVoidTest.kt

@@ -4,6 +4,10 @@ import org.junit.jupiter.api.Disabled
 import org.utbot.framework.plugin.api.CodegenLanguage
 import org.junit.jupiter.api.Test
 import org.utbot.testcheckers.eq
+import org.utbot.testing.CodeGeneration
+import org.utbot.testing.DoNotCalculate
+import org.utbot.testing.UtValueTestCaseChecker
+import org.utbot.testing.isException
 
 // TODO failed Kotlin compilation ($ in function names, generics) SAT-1220 SAT-1332
 @Disabled("Java 11 transition")

utbot-framework-test/src/test/kotlin/org/utbot/examples/collections/ListsPart2Test.kt

@@ -3,6 +3,9 @@ package org.utbot.examples.collections
 import org.junit.jupiter.api.Disabled
 import org.utbot.framework.plugin.api.CodegenLanguage
 import org.junit.jupiter.api.Test
+import org.utbot.testing.CodeGeneration
+import org.utbot.testing.UtValueTestCaseChecker
+import org.utbot.testing.ignoreExecutionsNumber
 
 // TODO failed Kotlin compilation SAT-1332
 @Disabled

utbot-framework-test/src/test/kotlin/org/utbot/examples/collections/ListsPart3Test.kt

@@ -5,6 +5,7 @@ import org.junit.jupiter.api.Disabled
 import org.junit.jupiter.api.Test
 import org.utbot.testcheckers.eq
 import org.utbot.testcheckers.ge
+import org.utbot.testing.*
 
 // TODO failed Kotlin compilation SAT-1332
 internal class ListsPart3Test : UtValueTestCaseChecker(

utbot-framework-test/src/test/kotlin/org/utbot/examples/collections/MapEntrySetTest.kt

@@ -5,6 +5,7 @@ import org.junit.jupiter.api.Disabled
 import org.junit.jupiter.api.Test
 import org.utbot.testcheckers.ge
 import org.utbot.testcheckers.withPushingStateFromPathSelectorForConcrete
+import org.utbot.testing.*
 
 // TODO failed Kotlin compilation SAT-1332
 class MapEntrySetTest : UtValueTestCaseChecker(

utbot-framework-test/src/test/kotlin/org/utbot/examples/collections/MapKeySetTest.kt

@@ -6,6 +6,7 @@ import org.utbot.testcheckers.eq
 import org.utbot.testcheckers.ge
 import org.utbot.testcheckers.withPushingStateFromPathSelectorForConcrete
 import org.utbot.testcheckers.withoutMinimization
+import org.utbot.testing.*
 
 // TODO failed Kotlin compilation SAT-1332
 class MapKeySetTest : UtValueTestCaseChecker(

utbot-framework-test/src/test/kotlin/org/utbot/examples/collections/MapValuesTest.kt

@@ -4,6 +4,7 @@ import org.utbot.framework.plugin.api.CodegenLanguage
 import org.junit.jupiter.api.Test
 import org.utbot.testcheckers.ge
 import org.utbot.testcheckers.withoutMinimization
+import org.utbot.testing.*
 
 // TODO failed Kotlin compilation SAT-1332
 class MapValuesTest : UtValueTestCaseChecker(

utbot-framework-test/src/test/kotlin/org/utbot/examples/collections/MapsPart1Test.kt

@@ -9,6 +9,7 @@ import org.utbot.testcheckers.ge
 import org.utbot.testcheckers.withPushingStateFromPathSelectorForConcrete
 import org.utbot.testcheckers.withoutConcrete
 import org.utbot.testcheckers.withoutMinimization
+import org.utbot.testing.*
 
 // TODO failed Kotlin compilation ($ in names, generics) SAT-1220 SAT-1332
 internal class MapsPart1Test : UtValueTestCaseChecker(

utbot-framework-test/src/test/kotlin/org/utbot/examples/collections/MapsPart2Test.kt

@@ -5,6 +5,10 @@ import org.junit.jupiter.api.Test
 import org.utbot.testcheckers.ge
 import org.utbot.testcheckers.withPushingStateFromPathSelectorForConcrete
 import org.utbot.testcheckers.withoutMinimization
+import org.utbot.testing.CodeGeneration
+import org.utbot.testing.DoNotCalculate
+import org.utbot.testing.UtValueTestCaseChecker
+import org.utbot.testing.isException
 
 // TODO failed Kotlin compilation ($ in names, generics) SAT-1220 SAT-1332
 internal class MapsPart2Test : UtValueTestCaseChecker(

utbot-framework-test/src/test/kotlin/org/utbot/examples/collections/OptionalsTest.kt

@@ -3,6 +3,7 @@ package org.utbot.examples.collections
 import org.utbot.framework.plugin.api.CodegenLanguage
 import org.junit.jupiter.api.Test
 import org.utbot.testcheckers.eq
+import org.utbot.testing.*
 import java.util.*
 
 class OptionalsTest : UtValueTestCaseChecker(

utbot-framework-test/src/test/kotlin/org/utbot/examples/collections/SetIteratorsTest.kt

@@ -3,6 +3,7 @@ package org.utbot.examples.collections
 import org.utbot.framework.plugin.api.CodegenLanguage
 import org.junit.jupiter.api.Test
 import org.utbot.testcheckers.ge
+import org.utbot.testing.*
 
 // TODO failed Kotlin compilation SAT-1332
 class SetIteratorsTest : UtValueTestCaseChecker(

utbot-framework-test/src/test/kotlin/org/utbot/examples/collections/SetsTest.kt

@@ -7,6 +7,7 @@ import org.utbot.testcheckers.eq
 import org.utbot.testcheckers.ge
 import org.utbot.testcheckers.withPushingStateFromPathSelectorForConcrete
 import org.utbot.testcheckers.withoutMinimization
+import org.utbot.testing.*
 
 // TODO failed Kotlin compilation SAT-1332
 internal class SetsTest : UtValueTestCaseChecker(

utbot-framework-test/src/test/kotlin/org/utbot/examples/controlflow/ConditionsTest.kt

@@ -6,6 +6,10 @@ import org.utbot.framework.plugin.api.DocRegularStmt
 import org.utbot.framework.plugin.api.DocStatement
 import org.junit.jupiter.api.Test
 import org.utbot.testcheckers.eq
+import org.utbot.testing.UtValueTestCaseChecker
+import org.utbot.testing.ignoreExecutionsNumber
+import org.utbot.testing.keyContain
+import org.utbot.testing.keyMatch
 
 internal class ConditionsTest : UtValueTestCaseChecker(testClass = Conditions::class) {
     @Test

utbot-framework-test/src/test/kotlin/org/utbot/examples/controlflow/CycleDependedConditionTest.kt

@@ -6,6 +6,9 @@ import org.utbot.framework.plugin.api.DocRegularStmt
 import org.utbot.framework.plugin.api.DocStatement
 import org.junit.jupiter.api.Test
 import org.utbot.testcheckers.eq
+import org.utbot.testing.UtValueTestCaseChecker
+import org.utbot.testing.keyContain
+import org.utbot.testing.keyMatch
 
 internal class CycleDependedConditionTest : UtValueTestCaseChecker(testClass = CycleDependedCondition::class) {
     @Test

utbot-framework-test/src/test/kotlin/org/utbot/examples/controlflow/CyclesTest.kt

@@ -6,6 +6,7 @@ import org.utbot.framework.plugin.api.DocRegularStmt
 import org.utbot.framework.plugin.api.DocStatement
 import org.junit.jupiter.api.Test
 import org.utbot.testcheckers.eq
+import org.utbot.testing.*
 
 internal class CyclesTest : UtValueTestCaseChecker(testClass = Cycles::class) {
     @Test

utbot-framework-test/src/test/kotlin/org/utbot/examples/controlflow/SwitchTest.kt

@@ -13,6 +13,9 @@ import org.junit.jupiter.api.Test
 import org.utbot.testcheckers.eq
 import org.utbot.testcheckers.ge
 import org.utbot.testcheckers.withoutMinimization
+import org.utbot.testing.UtValueTestCaseChecker
+import org.utbot.testing.keyContain
+import org.utbot.testing.keyMatch
 
 internal class SwitchTest : UtValueTestCaseChecker(testClass = Switch::class) {
     @Test

utbot-framework-test/src/test/kotlin/org/utbot/examples/enums/ClassWithEnumTest.kt

@@ -10,6 +10,9 @@ import org.utbot.framework.plugin.api.util.jField
 import org.utbot.testcheckers.eq
 import org.utbot.testcheckers.withPushingStateFromPathSelectorForConcrete
 import org.utbot.testcheckers.withoutConcrete
+import org.utbot.testing.DoNotCalculate
+import org.utbot.testing.UtValueTestCaseChecker
+import org.utbot.testing.isException
 
 class ClassWithEnumTest : UtValueTestCaseChecker(testClass = ClassWithEnum::class) {
     @Test

utbot-framework-test/src/test/kotlin/org/utbot/examples/enums/ComplexEnumExamplesTest.kt

@@ -8,6 +8,9 @@ import org.utbot.examples.enums.ComplexEnumExamples.Color.GREEN
 import org.utbot.examples.enums.ComplexEnumExamples.Color.RED
 import org.utbot.framework.plugin.api.CodegenLanguage
 import org.utbot.testcheckers.eq
+import org.utbot.testing.CodeGeneration
+import org.utbot.testing.UtValueTestCaseChecker
+import org.utbot.testing.ignoreExecutionsNumber
 
 class ComplexEnumExamplesTest : UtValueTestCaseChecker(
     testClass = ComplexEnumExamples::class,

utbot-framework-test/src/test/kotlin/org/utbot/examples/exceptions/ExceptionExamplesTest.kt

@@ -4,6 +4,7 @@ import org.utbot.framework.plugin.api.CodegenLanguage
 import org.junit.jupiter.api.Test
 import org.utbot.testcheckers.eq
 import org.utbot.testcheckers.withoutConcrete
+import org.utbot.testing.*
 
 internal class ExceptionExamplesTest : UtValueTestCaseChecker(
     testClass = ExceptionExamples::class,

utbot-framework-test/src/test/kotlin/org/utbot/examples/invokes/InvokeExampleTest.kt

@@ -2,6 +2,10 @@ package org.utbot.examples.invokes
 
 import org.junit.jupiter.api.Test
 import org.utbot.testcheckers.eq
+import org.utbot.testing.DoNotCalculate
+import org.utbot.testing.UtValueTestCaseChecker
+import org.utbot.testing.ignoreExecutionsNumber
+import org.utbot.testing.isException
 
 internal class InvokeExampleTest : UtValueTestCaseChecker(testClass = InvokeExample::class) {
     @Test

utbot-framework-test/src/test/kotlin/org/utbot/examples/invokes/NativeExampleTest.kt

@@ -6,6 +6,9 @@ import org.junit.jupiter.api.Tag
 import org.junit.jupiter.api.Test
 import org.utbot.testcheckers.eq
 import org.utbot.testcheckers.ge
+import org.utbot.testing.UtValueTestCaseChecker
+import org.utbot.testing.atLeast
+import org.utbot.testing.ignoreExecutionsNumber
 
 internal class NativeExampleTest : UtValueTestCaseChecker(testClass = NativeExample::class) {
     @Test

utbot-framework-test/src/test/kotlin/org/utbot/examples/invokes/VirtualInvokeExampleTest.kt

@@ -5,6 +5,9 @@ package org.utbot.examples.invokes
 import java.lang.Boolean
 import org.junit.jupiter.api.Test
 import org.utbot.testcheckers.eq
+import org.utbot.testing.DoNotCalculate
+import org.utbot.testing.UtValueTestCaseChecker
+import org.utbot.testing.isException
 
 internal class VirtualInvokeExampleTest : UtValueTestCaseChecker(testClass = VirtualInvokeExample::class) {
     @Test

utbot-framework-test/src/test/kotlin/org/utbot/examples/lambda/CustomPredicateExampleTest.kt

@@ -3,6 +3,10 @@ package org.utbot.examples.lambda
 import org.junit.jupiter.api.Test
 import org.utbot.framework.plugin.api.CodegenLanguage
 import org.utbot.testcheckers.eq
+import org.utbot.testing.CodeGeneration
+import org.utbot.testing.DoNotCalculate
+import org.utbot.testing.UtValueTestCaseChecker
+import org.utbot.testing.isException
 
 class CustomPredicateExampleTest : UtValueTestCaseChecker(
     testClass = CustomPredicateExample::class,

utbot-framework-test/src/test/kotlin/org/utbot/examples/lambda/SimpleLambdaExamplesTest.kt

@@ -3,6 +3,10 @@ package org.utbot.examples.lambda
 import org.junit.jupiter.api.Test
 import org.utbot.framework.plugin.api.CodegenLanguage
 import org.utbot.testcheckers.eq
+import org.utbot.testing.CodeGeneration
+import org.utbot.testing.DoNotCalculate
+import org.utbot.testing.UtValueTestCaseChecker
+import org.utbot.testing.isException
 
 // TODO failed Kotlin compilation (generics) SAT-1332
 class SimpleLambdaExamplesTest : UtValueTestCaseChecker(