diff options
| author | Yann Herklotz <git@ymhg.org> | 2019-05-05 17:25:48 +0100 |
|---|---|---|
| committer | Yann Herklotz <git@ymhg.org> | 2019-05-05 17:25:48 +0100 |
| commit | b2c44986a84314fa8ee9ead808bfa8cf109c538f (patch) | |
| tree | d81d20eaf5b3c90eb39ff2c9c9cebad3b78befbf /src/VeriFuzz.hs | |
| parent | c31961da322d9700fd6604541cbce5a4042f9b24 (diff) | |
| download | verismith-b2c44986a84314fa8ee9ead808bfa8cf109c538f.tar.gz verismith-b2c44986a84314fa8ee9ead808bfa8cf109c538f.zip | |
Write config file with seed to the fuzz directory
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 489ac01..e844f57 100644 --- a/src/VeriFuzz.hs +++ b/src/VeriFuzz.hs @@ -143,7 +143,7 @@ runEquivalence -> Int -- ^ Used to track the recursion. -> IO () runEquivalence seed gm t d k i = do - m <- sampleSeed seed gm + (_, m) <- sampleSeed seed gm let srcInfo = SourceInfo "top" m rand <- generateByteString 20 shellyFailDir $ do |