Fixed havoc step

ftsrg · Nov 17, 2023 · a48e214 · a48e214
1 parent dc427f6
commit a48e214
Showing 1 changed file with 0 additions and 1 deletion.
diff --git a/subprojects/xcfa/xcfa/src/main/java/hu/bme/mit/theta/xcfa/passes/ProcedurePassManager.kt b/subprojects/xcfa/xcfa/src/main/java/hu/bme/mit/theta/xcfa/passes/ProcedurePassManager.kt
@@ -53,7 +53,6 @@ class CPasses(checkOverflow: Boolean, parseContext: ParseContext, uniqueWarningL
     listOf(
         // handling remaining function calls
         NondetFunctionPass(parseContext),
-        HavocPromotionAndRange(parseContext),
         LbePass(parseContext),
         NormalizePass(parseContext), // needed after lbe, TODO
         DeterministicPass(parseContext), // needed after lbe, TODO