From e4cbf6c9395a65fabae5cdc3949980bd89cfb5d4 Mon Sep 17 00:00:00 2001
From: zoep <zoe.paraskevopoulou@gmail.com>
Date: Tue, 27 Aug 2024 14:57:07 +0300
Subject: [PATCH] Fix off-by-one error

---
 src/Act/HEVM.hs | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/Act/HEVM.hs b/src/Act/HEVM.hs
index 4aa7fef0..2562d0d0 100644
--- a/src/Act/HEVM.hs
+++ b/src/Act/HEVM.hs
@@ -646,7 +646,7 @@ checkConstructors solvers initcode runtimecode store (Contract ctor _) codemap =
   -- check is any addresses casted to contracts can be aliased
   checkAliasing solvers ctor (map fst casts) calldata
   -- Symbolically execute bytecode  
-  solbehvs <- removeFails <$> getInitcodeBranches solvers initcode hevminitmap calldata (symAddrCnstr 0 fresh) fresh
+  solbehvs <- removeFails <$> getInitcodeBranches solvers initcode hevminitmap calldata (symAddrCnstr 1 fresh) fresh
   
   -- traceM "Solc behvs: "
   -- traceM $ showBehvs solbehvs