Merge pull request #391 from input-output-hk/qd-model

Model-based Testing With Quickcheck-Dynamic
cardano-scaling · Jun 28, 2022 · 1b9992a · 1b9992a
2 parents 68024d5 + 1161107
commit 1b9992a
Show file tree

Hide file tree

Showing 16 changed files with 10,269 additions and 8,150 deletions.
diff --git a/cabal.project b/cabal.project
@@ -13,6 +13,7 @@ packages:
   hydraw
 
 tests: False
+
 package hydra-cluster
   tests: True
   benchmarks: True
@@ -217,3 +218,10 @@ constraints:
 allow-newer:
   monoidal-containers:aeson,
   size-based:template-haskell
+
+-- NOTE: On a branch to allow non-Typable DynLogicModels
+source-repository-package
+  type: git
+  location: https://github.com/input-output-hk/quickcheck-dynamic
+  tag: 9659630c68c91b86f3007f30b9aa02675bf8c929
+  --sha256: 1b9ppgavqad78a2z1zxv7v4jasjz6zz0mxkr0zx0bbcd0i00jajf
diff --git a/hydra-node/golden/ReasonablySized (ServerOutput (Tx AlonzoEra)).json b/hydra-node/golden/ReasonablySized (ServerOutput (Tx AlonzoEra)).json