Sulkta-OSS/agora
2
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

lightly expanded prop generator

Browse source
This commit is contained in:
Jack Hodgkinson 2022-04-01 10:41:18 +01:00
parent 8633ff15b5
commit 56a1b4672f
1 changed files with 6 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

7
agora-test/Spec/Model/Treasury.hs
View file

@ -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