diff options
| author | Yann Herklotz <git@ymhg.org> | 2019-05-07 19:20:21 +0100 |
|---|---|---|
| committer | Yann Herklotz <git@ymhg.org> | 2019-05-07 19:20:21 +0100 |
| commit | b073c6214dd62c9b8d30c5ec187375828c753d0e (patch) | |
| tree | 2e9d60356cce48ab52c9aed74da589e5134e45e6 /src/VeriFuzz.hs | |
| parent | d52b98fb2672374c48f157aaa68483c39a46363d (diff) | |
| download | verismith-b073c6214dd62c9b8d30c5ec187375828c753d0e.tar.gz verismith-b073c6214dd62c9b8d30c5ec187375828c753d0e.zip | |
Create better command line output
Diffstat (limited to 'src/VeriFuzz.hs')
| -rw-r--r-- | src/VeriFuzz.hs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/VeriFuzz.hs b/src/VeriFuzz.hs index cbbfb9a..cd6596c 100644 --- a/src/VeriFuzz.hs +++ b/src/VeriFuzz.hs @@ -154,7 +154,7 @@ runEquivalence -> Int -- ^ Used to track the recursion. -> IO () runEquivalence seed gm t d k i = do - (_, m) <- sampleSeed seed gm + (_, m) <- shelly $ sampleSeed seed gm let srcInfo = SourceInfo "top" m rand <- generateByteString 20 shellyFailDir $ do |