Add Path module with constrained expr generators

input-output-hk · Jun 2, 2023 · e08bc58 · e08bc58
1 parent 1e38a95
commit e08bc58
Show file tree

Hide file tree

Showing 4 changed files with 989 additions and 13 deletions.
diff --git a/marlowe-test/marlowe-test.cabal b/marlowe-test/marlowe-test.cabal
@@ -130,6 +130,7 @@ library
     Spec.Marlowe.Plutus.Types
     Spec.Marlowe.Plutus.Value
     Spec.Marlowe.Reference
+    Spec.Marlowe.Semantics.Path
     Spec.Marlowe.Semantics.Arbitrary
     Spec.Marlowe.Semantics.AssocMap
     Spec.Marlowe.Semantics.Compute

diff --git a/marlowe-test/src/Spec/Marlowe/Semantics.hs b/marlowe-test/src/Spec/Marlowe/Semantics.hs
@@ -23,15 +23,17 @@ import qualified Spec.Marlowe.Semantics.Compute (tests)
 import qualified Spec.Marlowe.Semantics.Entropy (tests)
 import qualified Spec.Marlowe.Semantics.Functions (tests)
 import qualified Spec.Marlowe.Semantics.Golden (tests)
+import qualified Spec.Marlowe.Semantics.Path (tests)
 
 
 -- | Run the tests.
 tests :: TestTree
 tests =
   testGroup "Semantics"
     [
-      Spec.Marlowe.Semantics.Entropy.tests
-    , Spec.Marlowe.Semantics.Functions.tests
-    , Spec.Marlowe.Semantics.Compute.tests
-    , Spec.Marlowe.Semantics.Golden.tests
+      -- Spec.Marlowe.Semantics.Entropy.tests
+    -- , Spec.Marlowe.Semantics.Functions.tests
+    -- , Spec.Marlowe.Semantics.Compute.tests
+    -- , Spec.Marlowe.Semantics.Golden.tests
+      Spec.Marlowe.Semantics.Path.tests
     ]