SCP-990 Marlowe validator uses StateMachine library

IntersectMBO · Sep 14, 2020 · 0823f23 · 0823f23
1 parent 4a8c44e
commit 0823f23
Show file tree

Hide file tree

Showing 5 changed files with 311 additions and 370 deletions.
diff --git a/marlowe/marlowe.cabal b/marlowe/marlowe.cabal
@@ -36,11 +36,13 @@ library
     bytestring,
     containers -any,
     deriving-aeson -any,
+    lens,
     mtl,
     newtype-generics,
     template-haskell -any,
     plutus-tx -any,
     plutus-contract -any,
+    plutus-core,
     plutus-ledger,
     text,
     vector,
@@ -94,7 +96,6 @@ test-suite marlowe-test
         aeson -any,
         base >=4.9 && <5,
         containers -any,
-        hedgehog -any,
         hint -any,
         lens -any,
         memory -any,
@@ -103,7 +104,6 @@ test-suite marlowe-test
         tasty -any,
         tasty-hunit -any,
         tasty-quickcheck,
-        tasty-hedgehog >=0.2.0.0,
         text -any,
         serialise,
         cborg,