Review fixes

UnitTestBot · Jul 24, 2023 · be0d40a · be0d40a
1 parent cb43fa1
commit be0d40a
Show file tree

Hide file tree

Showing 2 changed files with 5 additions and 3 deletions.
diff --git a/usvm-core/src/main/kotlin/org/usvm/CallStack.kt b/usvm-core/src/main/kotlin/org/usvm/CallStack.kt
@@ -41,7 +41,9 @@ class UCallStack<Method, Statement> private constructor(
             .zipWithNext { first, second -> UStackTraceFrame<Method, Statement>(first.method, second.returnSite!!) }
             .toMutableList()
 
-        return stacktrace + UStackTraceFrame(stack.last().method, currentInstruction)
+        stacktrace += UStackTraceFrame(stack.last().method, currentInstruction)
+
+        return stacktrace
     }
 
     override fun toString(): String {

diff --git a/usvm-core/src/main/kotlin/org/usvm/ps/ExceptionPropagationPathSelector.kt b/usvm-core/src/main/kotlin/org/usvm/ps/ExceptionPropagationPathSelector.kt
@@ -15,13 +15,13 @@ class ExceptionPropagationPathSelector<State : UState<*, *, *, *>>(
     // to determine whether some state is already in the queue or not
     // without extra time consumption.
     // We use only keys from this map.
-    private val exceptionalStates = IdentityHashMap<State, Any?>()
+    private val exceptionalStates = IdentityHashMap<State, Nothing>()
 
     // An identity map of the states that were added in the internal selector.
     // That means that these states present not only in the internal queue, but in
     // the queue of the selector, and we have to process them as well.
     // We use only keys from this map.
-    private val statesInSelector = IdentityHashMap<State, Any?>()
+    private val statesInSelector = IdentityHashMap<State, Nothing>()
 
     override fun isEmpty(): Boolean = exceptionalStates.isEmpty() && selector.isEmpty()