Scp 1583+1584: random walk and api test calls for actus testkit (#2565)

* update tests * draft * added dates support * more contract terms * filled in contract terms * added risk factors generator * fix * fix review * fix sized * added random walk * testkit draft * added generators * minor fixes * minor fixes * fix review comments * fix * fix * stylish * fix stack materialized * fix formatting
input-output-hk · Jan 15, 2021 · 9b09eef · 9b09eef
1 parent 98e2fea
commit 9b09eef
Showing 1 changed file with 62 additions and 0 deletions.
diff --git a/nix/stack.materialized/marlowe-actus.nix b/nix/stack.materialized/marlowe-actus.nix
@@ -147,6 +147,68 @@
           hsSourceDirs = [ "app" "src" ];
           mainPath = [ "Main.hs" ];
           };
+        "marlowe-actus-test-kit" = {
+          depends = [
+            (hsPkgs."aeson" or (errorHandler.buildDepError "aeson"))
+            (hsPkgs."base" or (errorHandler.buildDepError "base"))
+            (hsPkgs."bytestring" or (errorHandler.buildDepError "bytestring"))
+            (hsPkgs."containers" or (errorHandler.buildDepError "containers"))
+            (hsPkgs."deriving-aeson" or (errorHandler.buildDepError "deriving-aeson"))
+            (hsPkgs."mtl" or (errorHandler.buildDepError "mtl"))
+            (hsPkgs."newtype-generics" or (errorHandler.buildDepError "newtype-generics"))
+            (hsPkgs."template-haskell" or (errorHandler.buildDepError "template-haskell"))
+            (hsPkgs."plutus-tx" or (errorHandler.buildDepError "plutus-tx"))
+            (hsPkgs."plutus-contract" or (errorHandler.buildDepError "plutus-contract"))
+            (hsPkgs."plutus-ledger" or (errorHandler.buildDepError "plutus-ledger"))
+            (hsPkgs."text" or (errorHandler.buildDepError "text"))
+            (hsPkgs."vector" or (errorHandler.buildDepError "vector"))
+            (hsPkgs."sbv" or (errorHandler.buildDepError "sbv"))
+            (hsPkgs."wl-pprint" or (errorHandler.buildDepError "wl-pprint"))
+            (hsPkgs."freer-simple" or (errorHandler.buildDepError "freer-simple"))
+            (hsPkgs."marlowe" or (errorHandler.buildDepError "marlowe"))
+            (hsPkgs."time" or (errorHandler.buildDepError "time"))
+            (hsPkgs."loch-th" or (errorHandler.buildDepError "loch-th"))
+            (hsPkgs."sort" or (errorHandler.buildDepError "sort"))
+            (hsPkgs."inline-r" or (errorHandler.buildDepError "inline-r"))
+            (hsPkgs."validation" or (errorHandler.buildDepError "validation"))
+            (hsPkgs."servant" or (errorHandler.buildDepError "servant"))
+            (hsPkgs."servant-client" or (errorHandler.buildDepError "servant-client"))
+            (hsPkgs."http-client" or (errorHandler.buildDepError "http-client"))
+            (hsPkgs."servant-client-core" or (errorHandler.buildDepError "servant-client-core"))
+            (hsPkgs."QuickCheck" or (errorHandler.buildDepError "QuickCheck"))
+            ];
+          buildable = true;
+          modules = [
+            "Language/Marlowe/ACTUS/MarloweCompat"
+            "Language/Marlowe/ACTUS/Generator"
+            "Language/Marlowe/ACTUS/QCGenerator"
+            "Language/Marlowe/ACTUS/Analysis"
+            "Language/Marlowe/ACTUS/Definitions/BusinessEvents"
+            "Language/Marlowe/ACTUS/Definitions/ContractTerms"
+            "Language/Marlowe/ACTUS/Definitions/ContractState"
+            "Language/Marlowe/ACTUS/Definitions/Schedule"
+            "Language/Marlowe/ACTUS/Model/APPLICABILITY/Applicability"
+            "Language/Marlowe/ACTUS/Model/APPLICABILITY/ApplicabilityModel"
+            "Language/Marlowe/ACTUS/Model/POF/PayoffModel"
+            "Language/Marlowe/ACTUS/Model/POF/Payoff"
+            "Language/Marlowe/ACTUS/Model/POF/PayoffFs"
+            "Language/Marlowe/ACTUS/Model/STF/StateTransitionModel"
+            "Language/Marlowe/ACTUS/Model/STF/StateTransition"
+            "Language/Marlowe/ACTUS/Model/STF/StateTransitionFs"
+            "Language/Marlowe/ACTUS/Model/SCHED/ContractScheduleModel"
+            "Language/Marlowe/ACTUS/Model/SCHED/ContractSchedule"
+            "Language/Marlowe/ACTUS/Model/INIT/StateInitializationModel"
+            "Language/Marlowe/ACTUS/Model/INIT/StateInitialization"
+            "Language/Marlowe/ACTUS/Model/INIT/StateInitializationFs"
+            "Language/Marlowe/ACTUS/Model/Utility/DateShift"
+            "Language/Marlowe/ACTUS/Model/Utility/ScheduleGenerator"
+            "Language/Marlowe/ACTUS/Model/Utility/YearFraction"
+            "Language/Marlowe/ACTUS/Model/Utility/ContractRoleSign"
+            "Language/Marlowe/ACTUS/Ops"
+            ];
+          hsSourceDirs = [ "testkit" "src" ];
+          mainPath = [ "Main.hs" ];
+          };
         };
       tests = {
         "marlowe-actus-test" = {