Merge pull request #315 from ethereum/disable-word-simplification

Ignore word-simplification test
ethereum · Jul 13, 2023 · 04943e4 · 04943e4
2 parents a6697eb + 92ab2c7
commit 04943e4
Showing 1 changed file with 4 additions and 3 deletions.
diff --git a/test/test.hs b/test/test.hs
@@ -150,9 +150,10 @@ tests = testGroup "hevm"
     , testProperty "byte-simplification" $ \(expr :: Expr Byte) -> ioProperty $ do
         let simplified = Expr.simplify expr
         checkEquiv expr simplified
-    , testProperty "word-simplification" $ \(ZeroDepthWord expr) -> ioProperty $ do
-          let simplified = Expr.simplify expr
-          checkEquiv expr simplified
+    -- https://github.com/ethereum/hevm/issues/311
+    , ignoreTest $ testProperty "word-simplification" $ \(ZeroDepthWord expr) -> ioProperty $ do
+        let simplified = Expr.simplify expr
+        checkEquiv expr simplified
     , testProperty "readStorage-equivalance" $ \(store, addr, slot) -> ioProperty $ do
         let simplified = Expr.readStorage' addr slot store
             full = SLoad addr slot store