Raised the number of total number of proposals, bumped spec

IntersectMBO · Apr 29, 2024 · 32b2552 · 32b2552
1 parent 06c7fa0
commit 32b2552
Show file tree

Hide file tree

Showing 2 changed files with 3 additions and 3 deletions.
diff --git a/cabal.project b/cabal.project
@@ -13,8 +13,8 @@ repository cardano-haskell-packages
 source-repository-package
   type: git
   location: https://github.com/input-output-hk/cardano-ledger-executable-spec.git
-  tag: 1a32ee99287b722bda539fb08e9757270f839396
-  --sha256: sha256-8f9Oq/Z7bTCbiUKqCrzIopAd9qlAqLHtSpll7+tcJQE=
+  tag: 2b5ab90a871a5b9382d2f1846f4ef62aeb11b1ee
+  --sha256: sha256-IDXp1pM212sa4LloBKcGfjWz6stgZ8/iqQW3PHj6SZg=
 
 index-state:
   -- Bump this if you need newer packages from Hackage

diff --git a/libs/cardano-ledger-conformance/src/Test/Cardano/Ledger/Conformance/ExecSpecRule/Conway.hs b/libs/cardano-ledger-conformance/src/Test/Cardano/Ledger/Conformance/ExecSpecRule/Conway.hs
@@ -260,7 +260,7 @@ instance
       agdaConstraints procs = match @fn procs $ \_ props ->
         forAll props agdaCompatibleProposal
 
-  genExecContext = (,) <$> arbitrary <*> genProposalsSplit 6
+  genExecContext = (,) <$> arbitrary <*> genProposalsSplit 20
 
   runAgdaRule env st sig =
     first (\e -> OpaqueErrorString (T.unpack e) NE.:| [])