Mark PPC64 malloc-simple test as failing due to GaloisInc#350

RyanGlScott · Nov 14, 2023 · c8216e3 · c8216e3
1 parent 52bae3c
commit c8216e3
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/tests/PPCTestMain.hs b/tests/PPCTestMain.hs
@@ -10,13 +10,13 @@ main = do
         , testArchLoader = PPC.archLoader
         , testExpectEquivalenceFailure =
             [ "stack-struct", "unequal/stack-struct"
-            -- https://github.com/GaloisInc/pate/issues/327
+            -- https://github.com/GaloisInc/pate/issues/350
             , "malloc-simple", "unequal/malloc-simple"
             -- missing interactive test support
             , "desync-defer", "desync-simple"
             ]
         , testExpectSelfEquivalenceFailure = [
-            -- https://github.com/GaloisInc/pate/issues/327
+            -- https://github.com/GaloisInc/pate/issues/350
             "malloc-simple"
             ]
         -- TODO: we should define a section name here and read its address