From ec2a119f81f0e7c47ea6039c9660346b23a42402 Mon Sep 17 00:00:00 2001
From: Jack Hodgkinson <30505104+jhodgdev@users.noreply.github.com>
Date: Fri, 18 Mar 2022 10:59:46 +0000
Subject: [PATCH] inited tr tests

---
 agora-test/Spec/Int.hs      | 8 +++++++-
 agora-test/Spec/Treasury.hs | 9 +++++++++
 agora-test/Spec/Util.hs     | 7 ++++++-
 3 files changed, 22 insertions(+), 2 deletions(-)

diff --git a/agora-test/Spec/Int.hs b/agora-test/Spec/Int.hs
index 8063784..33d211d 100644
--- a/agora-test/Spec/Int.hs
+++ b/agora-test/Spec/Int.hs
@@ -1,4 +1,10 @@
-module Spec.Int (HasLogicalModel (..), IntProp (..), intGenTests, intPureTests, intPlutarchTests) where
+module Spec.Int (
+  HasLogicalModel (..),
+  IntProp (..),
+  intGenTests,
+  intPureTests,
+  intPlutarchTests,
+) where
 
 import Apropos
 import Apropos.Script
diff --git a/agora-test/Spec/Treasury.hs b/agora-test/Spec/Treasury.hs
index b6fbdda..c0d814f 100644
--- a/agora-test/Spec/Treasury.hs
+++ b/agora-test/Spec/Treasury.hs
@@ -1 +1,10 @@
 module Spec.Treasury () where
+
+import Test.Tasty (TestTree, testGroup)
+
+tests :: [TestTree]
+tests =
+  [ testGroup
+      "treasury"
+      []
+  ]
diff --git a/agora-test/Spec/Util.hs b/agora-test/Spec/Util.hs
index 3db7f53..ce8861f 100644
--- a/agora-test/Spec/Util.hs
+++ b/agora-test/Spec/Util.hs
@@ -24,7 +24,12 @@ import Plutus.V1.Ledger.Scripts (Script)
 
 --------------------------------------------------------------------------------
 
-policySucceedsWith :: String -> ClosedTerm PMintingPolicy -> ClosedTerm PData -> _ -> TestTree
+policySucceedsWith ::
+  String ->
+  ClosedTerm PMintingPolicy ->
+  ClosedTerm PData ->
+  _ ->
+  TestTree
 policySucceedsWith tag policy redeemer scriptContext =
   scriptSucceeds tag $ compile (policy # redeemer # pconstant scriptContext)