Fixing naming, thanks @blishko

ethereum · Feb 12, 2025 · b035e6e · b035e6e
1 parent 72c1681
commit b035e6e
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/test/test.hs b/test/test.hs
@@ -515,14 +515,14 @@ tests = testGroup "hevm"
         let e = BufLength (CopySlice (Lit 0x2) (Lit 0x2) (Lit 0x1) (ConcreteBuf "") (ConcreteBuf ""))
         b <- checkEquiv e (Expr.simplify e)
         assertBoolM "Simplifier failed" b
-    , test "simp-readByte" $ do
+    , test "simp-readByte1" $ do
       let srcOffset = (ReadWord (Lit 0x1) (AbstractBuf "stuff1"))
           size = (ReadWord (Lit 0x1) (AbstractBuf "stuff2"))
           src = (AbstractBuf "stuff2")
           e = ReadByte (Lit 0x0) (CopySlice srcOffset (Lit 0x10) size src (AbstractBuf "dst"))
           simp = Expr.simplify e
       assertEqualM "readByte simplification" simp (ReadByte (Lit 0x0) (AbstractBuf "dst"))
-    , test "simp-readByte" $ do
+    , test "simp-readByte2" $ do
       let srcOffset = (ReadWord (Lit 0x1) (AbstractBuf "stuff1"))
           size =(Lit 0x1)
           src = (AbstractBuf "stuff2")