From 56a1b4672f0de8d887d93cccb8f95c6758627cef Mon Sep 17 00:00:00 2001
From: Jack Hodgkinson <30505104+jhodgdev@users.noreply.github.com>
Date: Fri, 1 Apr 2022 10:41:18 +0100
Subject: [PATCH] lightly expanded prop generator

---
 agora-test/Spec/Model/Treasury.hs | 7 ++++++-
 1 file changed, 6 insertions(+), 1 deletion(-)

diff --git a/agora-test/Spec/Model/Treasury.hs b/agora-test/Spec/Model/Treasury.hs
index aad096e..0ed634f 100644
--- a/agora-test/Spec/Model/Treasury.hs
+++ b/agora-test/Spec/Model/Treasury.hs
@@ -127,7 +127,12 @@ instance HasLogicalModel TreasuryTxProp TreasuryTxModel where
 
 instance HasParameterisedGenerator TreasuryTxProp TreasuryTxModel where
   parameterisedGenerator :: Set TreasuryTxProp -> Gen TreasuryTxModel
-  parameterisedGenerator = undefined
+  parameterisedGenerator propSet = do
+    purpose <-
+      if ScriptPurposeIsNotMinting `elem` propSet
+        then undefined
+        else undefined
+    undefined
 
 instance HasScriptRunner TreasuryTxProp TreasuryTxModel where
   expect = undefined