diff options
| author | Yann Herklotz <git@ymhg.org> | 2019-04-01 10:55:40 +0100 |
|---|---|---|
| committer | Yann Herklotz <git@ymhg.org> | 2019-04-01 10:55:40 +0100 |
| commit | bac2f24871d95eeb3aa3fc898a7656fc4f5f094a (patch) | |
| tree | abae8302d3a07eec39fe1a3d05077d4505a0b2bb /src/VeriFuzz.hs | |
| parent | ce3b5a9dc47c2325e1e9cc61279972048b9fbabd (diff) | |
| download | verismith-bac2f24871d95eeb3aa3fc898a7656fc4f5f094a.tar.gz verismith-bac2f24871d95eeb3aa3fc898a7656fc4f5f094a.zip | |
Run through brittany
Diffstat (limited to 'src/VeriFuzz.hs')
| -rw-r--r-- | src/VeriFuzz.hs | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/src/VeriFuzz.hs b/src/VeriFuzz.hs index efbb244..f151f10 100644 --- a/src/VeriFuzz.hs +++ b/src/VeriFuzz.hs @@ -64,8 +64,9 @@ import VeriFuzz.Yosys -- | Generate a specific number of random bytestrings of size 256. randomByteString :: C.CtrDRBG -> Int -> [ByteString] -> [ByteString] -randomByteString gen n bytes | n == 0 = ranBytes : bytes - | otherwise = randomByteString newGen (n - 1) $ ranBytes : bytes +randomByteString gen n bytes + | n == 0 = ranBytes : bytes + | otherwise = randomByteString newGen (n - 1) $ ranBytes : bytes where Right (ranBytes, newGen) = C.genBytes 32 gen -- | generates the specific number of bytestring with a random seed. |