Fix off-by-one error

ethereum · Aug 27, 2024 · e4cbf6c · e4cbf6c
1 parent 2ec04a6
commit e4cbf6c
Showing 1 changed file with 1 addition and 1 deletion.
diff --git 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