Skip to content

Commit 827f0d4

Browse files
committed
Fixes for type system and fallbacks in it
1 parent 410c58d commit 827f0d4

File tree

2 files changed

+4
-3
lines changed
  • utbot-framework-api/src/main/kotlin/org/utbot/framework/plugin/api
  • utbot-framework-test/src/test/kotlin/org/utbot/examples/collections

2 files changed

+4
-3
lines changed

utbot-framework-api/src/main/kotlin/org/utbot/framework/plugin/api/Api.kt

Lines changed: 2 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1297,7 +1297,8 @@ enum class CodegenLanguage(
12971297
JAVA -> listOf(
12981298
"-d", buildDirectory,
12991299
"-cp", classPath,
1300-
"-XDignore.symbol.file" // to let javac use classes from rt.jar
1300+
"-XDignore.symbol.file", // to let javac use classes from rt.jar
1301+
"--add-exports", "java.base/sun.reflect.generics.repository=ALL-UNNAMED"
13011302
).plus(sourcesFiles)
13021303

13031304
KOTLIN -> listOf("-d", buildDirectory, "-jvm-target", jvmTarget, "-cp", classPath).plus(sourcesFiles)

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

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -7,10 +7,10 @@ import org.utbot.tests.infrastructure.isException
77
import org.utbot.framework.plugin.api.CodegenLanguage
88
import org.junit.jupiter.api.Disabled
99
import org.junit.jupiter.api.Test
10-
import org.utbot.testcheckers.eq
1110
import org.utbot.testcheckers.ge
1211
import org.utbot.testcheckers.withPushingStateFromPathSelectorForConcrete
1312
import org.utbot.tests.infrastructure.CodeGeneration
13+
import org.utbot.tests.infrastructure.ignoreExecutionsNumber
1414

1515
// TODO failed Kotlin compilation SAT-1332
1616
class MapEntrySetTest : UtValueTestCaseChecker(
@@ -152,7 +152,7 @@ class MapEntrySetTest : UtValueTestCaseChecker(
152152
withPushingStateFromPathSelectorForConcrete {
153153
checkWithException(
154154
MapEntrySet::iterateWithIterator,
155-
eq(6),
155+
ignoreExecutionsNumber,
156156
{ map, result -> map == null && result.isException<NullPointerException>() },
157157
{ map, result -> map.isEmpty() && result.getOrThrow().contentEquals(intArrayOf(0, 0)) },
158158
{ map, result -> map.size % 2 == 1 && result.isException<NoSuchElementException>() },

0 commit comments

Comments
 (0)