From faeb56cd2ca97f0b8f91a53ac47ac2c4e9bbb49f Mon Sep 17 00:00:00 2001
From: Alexey Menshutin <alex.menshutin99@gmail.com>
Date: Thu, 5 Jun 2025 11:47:09 +0300
Subject: [PATCH] Mark states with contradictions as dead

---
 usvm-core/src/main/kotlin/org/usvm/StepScope.kt | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/usvm-core/src/main/kotlin/org/usvm/StepScope.kt b/usvm-core/src/main/kotlin/org/usvm/StepScope.kt
index 84a4d1241e..a22e8bd8dc 100644
--- a/usvm-core/src/main/kotlin/org/usvm/StepScope.kt
+++ b/usvm-core/src/main/kotlin/org/usvm/StepScope.kt
@@ -29,7 +29,7 @@ class StepScope<T : UState<Type, *, Statement, Context, *, T>, Type, Statement,
 ) {
     private val forkedStates = mutableListOf<T>()
 
-    private inline val alive: Boolean get() = stepScopeState != DEAD
+    private inline val alive: Boolean get() = stepScopeState != DEAD && !originalState.pathConstraints.isFalse
     private inline val canProcessFurtherOnCurrentStep: Boolean get() = stepScopeState == CAN_BE_PROCESSED
     private inline val ctx: Context get() = originalState.ctx