Skip to content

Commit 0b2bfab

Browse files
committed
Bump jacodb
1 parent e85e253 commit 0b2bfab

2 files changed

Lines changed: 2 additions & 3 deletions

File tree

buildSrc/src/main/kotlin/Dependencies.kt

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -6,7 +6,7 @@ object Versions {
66
const val clikt = "5.0.0"
77
const val detekt = "1.23.7"
88
const val ini4j = "0.5.4"
9-
const val jacodb = "3629f15faf"
9+
const val jacodb = "f59e7f946a"
1010
const val juliet = "1.3.2"
1111
const val junit = "5.9.3"
1212
const val kotlin = "2.1.0"

usvm-ts-dataflow/src/main/kotlin/org/usvm/dataflow/ts/infer/dto/EtsTypeToDto.kt

Lines changed: 1 addition & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -51,7 +51,6 @@ import org.jacodb.ets.model.EtsFunctionType
5151
import org.jacodb.ets.model.EtsGenericType
5252
import org.jacodb.ets.model.EtsIntersectionType
5353
import org.jacodb.ets.model.EtsLexicalEnvType
54-
import org.jacodb.ets.model.EtsLiteralType
5554
import org.jacodb.ets.model.EtsNeverType
5655
import org.jacodb.ets.model.EtsNullType
5756
import org.jacodb.ets.model.EtsNumberLiteralType
@@ -120,7 +119,7 @@ private object EtsTypeToDto : EtsType.Visitor<TypeDto> {
120119
override fun visit(type: EtsEnumValueType): TypeDto {
121120
return EnumValueTypeDto(
122121
signature = type.signature.toDto(),
123-
constant = type.constant?.toDto(),
122+
name = type.name,
124123
)
125124
}
126125

0 commit comments

Comments
 (0)