Mark PPC32 malloc-simple test as expected to pass

Fixes #165. Fixes #327.
GaloisInc · Nov 15, 2023 · 6aa9b12 · 6aa9b12
1 parent 980bf7e
commit 6aa9b12
Showing 1 changed file with 1 addition and 6 deletions.
diff --git a/tests/PPC32TestMain.hs b/tests/PPC32TestMain.hs
@@ -10,13 +10,8 @@ main = do
         , testArchLoader = PPC.archLoader
         , testExpectEquivalenceFailure =
             [ "stack-struct", "unequal/stack-struct"
-            -- https://github.com/GaloisInc/pate/issues/327
-            , "malloc-simple", "unequal/malloc-simple"
-            ]
-        , testExpectSelfEquivalenceFailure = [
-            -- https://github.com/GaloisInc/pate/issues/327
-            "malloc-simple"
             ]
+        , testExpectSelfEquivalenceFailure = []
         -- TODO: we should define a section name here and read its address
         -- from the ELF
         -- see: https://github.com/GaloisInc/pate/issues/294