diff options
Diffstat (limited to 'src/VeriFuzz')
-rw-r--r-- | src/VeriFuzz/Gen.hs | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/src/VeriFuzz/Gen.hs b/src/VeriFuzz/Gen.hs index 733f956..9eecdbf 100644 --- a/src/VeriFuzz/Gen.hs +++ b/src/VeriFuzz/Gen.hs @@ -31,9 +31,12 @@ randomAssigns ids = random ids . ContAssign <$> ids randomMod :: Gen ModDecl randomMod = do - let ids = Identifier . ("w"<>) . T.pack . show <$> [1..100] + let ids = toId <$> [1..100] sequence_ $ randomAssigns ids return $ ModDecl "" [] [] [] + where + toId :: Int -> Identifier + toId = Identifier . ("w"<>) . T.pack . show fromGraph :: Gen ModDecl fromGraph = do |