Sulkta-OSS/agora
3
0
Fork 0
Code Issues 1 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 eb2677e392
commit 2f7e221fba
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 instance HasParameterisedGenerator TreasuryTxProp TreasuryTxModel where
parameterisedGenerator :: Set TreasuryTxProp -> Gen TreasuryTxModel 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 instance HasScriptRunner TreasuryTxProp TreasuryTxModel where
expect = undefined expect = undefined