File tree Expand file tree Collapse file tree 2 files changed +4
-0
lines changed
utbot-framework/src/test/kotlin/org/utbot/examples/collections Expand file tree Collapse file tree 2 files changed +4
-0
lines changed Original file line number Diff line number Diff line change 1
1
package org.utbot.examples.collections
2
2
3
+ import org.junit.jupiter.api.Disabled
3
4
import org.junit.jupiter.api.Test
4
5
import org.utbot.examples.UtValueTestCaseChecker
5
6
import org.utbot.examples.ignoreExecutionsNumber
6
7
import org.utbot.framework.codegen.CodeGeneration
7
8
import org.utbot.framework.plugin.api.CodegenLanguage
8
9
9
10
// TODO failed Kotlin compilation SAT-1332
11
+ @Disabled
10
12
internal class ListsPart1Test : UtValueTestCaseChecker (
11
13
testClass = Lists : :class,
12
14
testCodeGeneration = true ,
Original file line number Diff line number Diff line change 1
1
package org.utbot.examples.collections
2
2
3
+ import org.junit.jupiter.api.Disabled
3
4
import org.utbot.framework.codegen.CodeGeneration
4
5
import org.utbot.framework.plugin.api.CodegenLanguage
5
6
import org.junit.jupiter.api.Test
6
7
import org.utbot.examples.*
7
8
8
9
// TODO failed Kotlin compilation SAT-1332
10
+ @Disabled
9
11
internal class ListsPart2Test : UtValueTestCaseChecker (
10
12
testClass = Lists : :class,
11
13
testCodeGeneration = true ,
You can’t perform that action at this time.
0 commit comments