diff options
author | Yann Herklotz <ymherklotz@gmail.com> | 2019-02-08 15:48:32 +0000 |
---|---|---|
committer | Yann Herklotz <ymherklotz@gmail.com> | 2019-02-08 15:48:32 +0000 |
commit | 6c9bfc3705650a055f12394186009219d9469444 (patch) | |
tree | 84b9f71a7a20bfc17ccb39f653cca3f33bc2a384 | |
parent | f6b7e771fd8e7bb89a3981886c93603363dd9ed2 (diff) | |
download | verismith-6c9bfc3705650a055f12394186009219d9469444.tar.gz verismith-6c9bfc3705650a055f12394186009219d9469444.zip |
Make the main compile again
-rw-r--r-- | app/Main.hs | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/app/Main.hs b/app/Main.hs index 34c8256..4e3eebd 100644 --- a/app/Main.hs +++ b/app/Main.hs @@ -6,7 +6,6 @@ import qualified Data.Text as T import qualified Data.Text.IO as T import Options.Applicative import qualified Shelly as S -import Simulation import qualified Test.QuickCheck as QC import qualified VeriFuzz as V @@ -116,7 +115,7 @@ handleOpts :: Opts -> IO () handleOpts (Fuzz a) = do num <- getNumCapabilities vars <- sequence $ (\x -> myForkIO $ - runEquivalence (V.randomMod 10 100) + V.runEquivalence (V.randomMod 10 100) ("test_" <> T.pack (show x)) 0) <$> [1..num] sequence_ $ takeMVar <$> vars handleOpts (Generate f) = do |