diff --git a/src/halmos/sevm.py b/src/halmos/sevm.py
index eb62b703..067de24d 100644
--- a/src/halmos/sevm.py
+++ b/src/halmos/sevm.py
@@ -2489,7 +2489,7 @@ def run(self, ex0: Exec) -> Tuple[List[Exec], Steps]:
                 elif opcode in [EVM.AND, EVM.OR, EVM.XOR]:
                     ex.st.push(lop(opcode, ex.st.pop(), ex.st.pop()))
                 elif opcode == EVM.NOT:
-                    ex.st.push(~ex.st.pop())  # bvnot
+                    ex.st.push(~b2i(ex.st.pop()))  # bvnot
                 elif opcode == EVM.SHL:
                     w = ex.st.pop()
                     ex.st.push(b2i(ex.st.pop()) << b2i(w))  # bvshl