style

UnitTestBot · Sep 11, 2024 · cea9cb0 · cea9cb0
1 parent 39ad24d
commit cea9cb0
Show file tree

Hide file tree

Showing 3 changed files with 2 additions and 11 deletions.
diff --git a/usvm-core/src/main/kotlin/org/usvm/constraints/TypeConstraints.kt b/usvm-core/src/main/kotlin/org/usvm/constraints/TypeConstraints.kt
@@ -70,10 +70,9 @@ class UTypeConstraints<Type>(
     init {
         equalityConstraints.subscribeEquality(::intersectRegions)
     }
-
-    @Suppress("UNCHECKED_CAST")
     val inputRefToTypeRegion: Map<UHeapRef, UTypeRegion<Type>>
         get(): Map<UHeapRef, UTypeRegion<Type>> {
+            @Suppress("UNCHECKED_CAST")
             val inputTypeRegions: MutableMap<UHeapRef, UTypeRegion<Type>> =
                 symbolicRefToTypeRegion.toMutableMap() as MutableMap<UHeapRef, UTypeRegion<Type>>
 

diff --git a/usvm-core/src/main/kotlin/org/usvm/constraints/ULogicalConstraints.kt b/usvm-core/src/main/kotlin/org/usvm/constraints/ULogicalConstraints.kt
@@ -37,7 +37,7 @@ class ULogicalConstraints private constructor(
         get() = constraints.any(UBoolExpr::isFalse)
 
     fun contradiction(ctx: UContext<*>, ownership: MutabilityOwnership) {
-        constraints = persistentHashSetOf<KExpr<UBoolSort>>().add(ctx.falseExpr, ownership)
+        constraints = persistentHashSetOf<UBoolExpr>().add(ctx.falseExpr, ownership)
     }
 
     /**

diff --git a/usvm-util/src/main/kotlin/org/usvm/collections/immutable/internal/EndOfChain.kt b/usvm-util/src/main/kotlin/org/usvm/collections/immutable/internal/EndOfChain.kt