Merge pull request #397 from ethereum/update-keccak-min

Keccak: update min value assumption to match `readStorage`
ethereum · Oct 2, 2023 · bd809d1 · bd809d1
2 parents 4e4bc8d + 2107af7
commit bd809d1
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/EVM/Keccak.hs b/src/EVM/Keccak.hs
@@ -51,7 +51,7 @@ combine lst = combine' lst []
       combine' xs (xcomb:acc)
 
 minProp :: Expr EWord -> Prop
-minProp k@(Keccak _) = PGT k (Lit 50)
+minProp k@(Keccak _) = PGT k (Lit 256)
 minProp _ = internalError "expected keccak expression"
 
 injProp :: (Expr EWord, Expr EWord) -> Prop