inited tr tests

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

agora-test/Spec/Treasury.hs

@@ -1 +1,10 @@
 module Spec.Treasury () where
+
+import Test.Tasty (TestTree, testGroup)
+
+tests :: [TestTree]
+tests =
+  [ testGroup
+      "treasury"
+      []
+  ]

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)