test: fix encodeConcreteStore-overwrite case

Author: elopez

test/test.hs

@@ -1021,10 +1021,12 @@ tests = testGroup "hevm"
         -- same as above, but with offset 2
         (LitByte 0xbb)
         (Expr.indexWord (Lit 2) (Lit 0xff22bb4455667788990011223344556677889900112233445566778899001122))
-    , test "encodeConcreteStore-overwrite" $
-      assertEqualM ""
-        (pure "(store (store ((as const Storage) #x0000000000000000000000000000000000000000000000000000000000000000) (_ bv1 256) (_ bv2 256)) (_ bv3 256) (_ bv4 256))")
-        (EVM.SMT.encodeConcreteStore $ HashMap.fromList [(W256 1, W256 2), (W256 3, W256 4)])
+    , test "encodeConcreteStore-overwrite" $ do
+        -- HashMap has no defined order so encoding may differ
+        let encoded = fromRight "err" $ EVM.SMT.encodeConcreteStore $ HashMap.fromList [(W256 1, W256 2), (W256 3, W256 4)]
+        let options = ["(store (store ((as const Storage) #x0000000000000000000000000000000000000000000000000000000000000000) (_ bv1 256) (_ bv2 256)) (_ bv3 256) (_ bv4 256))",
+                       "(store (store ((as const Storage) #x0000000000000000000000000000000000000000000000000000000000000000) (_ bv3 256) (_ bv4 256)) (_ bv1 256) (_ bv2 256))"]
+        assertBoolM "encoding must match" (encoded `elem` options)
     , test "indexword-oob-sym" $ assertEqualM ""
         -- indexWord should return 0 for oob access
         (LitByte 0x0)