From 6c9bfc3705650a055f12394186009219d9469444 Mon Sep 17 00:00:00 2001 From: Yann Herklotz Date: Fri, 8 Feb 2019 15:48:32 +0000 Subject: Make the main compile again --- app/Main.hs | 3 +-- 1 file changed, 1 insertion(+), 2 deletions(-) (limited to 'app') 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 -- cgit