Removing this simplificaiton, as it's not standard SMTLIB2.6

ethereum · Feb 22, 2024 · f79d79c · f79d79c
1 parent a3208c1
commit f79d79c
Showing 1 changed file with 0 additions and 1 deletion.
diff --git a/src/EVM/SMT.hs b/src/EVM/SMT.hs
@@ -804,7 +804,6 @@ exprToSMT = \case
     _ -> op2 "indexWord" idx w
   ReadByte idx src -> op2 "select" src idx
 
-  ConcreteBuf "" -> "((as const Buf) #b00000000)"
   ConcreteBuf bs -> writeBytes bs mempty
   AbstractBuf s -> fromText s
   ReadWord idx prev -> op2 "readWord" idx prev