TEMP - Stop generating UnRegDRep GovCert cases

This commit can be reverted once the spec is up-to-date with: #4598
IntersectMBO · Oct 8, 2024 · 1b13241 · 1b13241
1 parent 4476caf
commit 1b13241
Showing 1 changed file with 4 additions and 3 deletions.
diff --git a/libs/cardano-ledger-test/src/Test/Cardano/Ledger/Constrained/Conway/GovCert.hs b/libs/cardano-ledger-test/src/Test/Cardano/Ledger/Constrained/Conway/GovCert.hs
@@ -67,9 +67,10 @@ govCertSpec ConwayGovCertEnv {..} certState =
               ]
           )
           -- ConwayUnRegDRep
-          ( branchW 3 $ \ [var|credUnreg|] [var|coinUnreg|] ->
-              assert $ elem_ (pair_ credUnreg coinUnreg) (lit (Map.toList deposits))
-          )
+          -- ( branchW 3 $ \ [var|credUnreg|] [var|coinUnreg|] ->
+          --     assert $ elem_ (pair_ credUnreg coinUnreg) (lit (Map.toList deposits))
+          -- )
+          (branchW 3 $ \_credUnreg _coinUnreg -> False)
           -- ConwayUpdateDRep
           ( branchW 1 $ \ [var|keyupdate|] _ ->
               member_ keyupdate reps