TEMP - Disable RATIFY conformance test

Blocked by: IntersectMBO/formal-ledger-specifications#578
IntersectMBO · Oct 3, 2024 · 6f7f84a · 6f7f84a
1 parent c48da8e
commit 6f7f84a
Showing 1 changed file with 3 additions and 1 deletion.
diff --git a/libs/cardano-ledger-conformance/test/Test/Cardano/Ledger/Conformance/Spec/Conway.hs b/libs/cardano-ledger-conformance/test/Test/Cardano/Ledger/Conformance/Spec/Conway.hs
@@ -22,7 +22,9 @@ spec = do
   describe "Conformance" $ do
     describe "Ticks transition graph" $ do
       prop "ENACT" $ conformsToImpl @"ENACT" @ConwayFn @Conway
-      prop "RATIFY" $ conformsToImpl @"RATIFY" @ConwayFn @Conway
+      -- NOTE: disabled until
+      -- https://github.com/IntersectMBO/formal-ledger-specifications/issues/578 is resolved
+      xprop "RATIFY" $ conformsToImpl @"RATIFY" @ConwayFn @Conway
       xprop "EPOCH" $ conformsToImpl @"EPOCH" @ConwayFn @Conway
       xprop "NEWEPOCH" $ conformsToImpl @"NEWEPOCH" @ConwayFn @Conway
     describe "Blocks transition graph" $ do