From 0a091d39fefd199fb3042677d60895113781dc31 Mon Sep 17 00:00:00 2001
From: Yann Herklotz <git@ymhg.org>
Date: Tue, 2 Apr 2019 12:58:36 +0100
Subject: Remove QuickCheck and use Hedgehog instead

---
 app/Main.hs | 7 ++-----
 1 file changed, 2 insertions(+), 5 deletions(-)

(limited to 'app')

diff --git a/app/Main.hs b/app/Main.hs
index c214929..4d2f0c4 100644
--- a/app/Main.hs
+++ b/app/Main.hs
@@ -5,7 +5,6 @@ import           Data.Text           (Text)
 import qualified Data.Text           as T
 import           Options.Applicative
 import qualified Shelly              as S
-import qualified Test.QuickCheck     as QC
 import qualified VeriFuzz            as V
 
 data Tool = Yosys
@@ -199,10 +198,8 @@ handleOpts (Fuzz _) = do
             )
         <$> [1 .. num]
     sequence_ $ takeMVar <$> vars
-handleOpts (Generate f) = do
-    g <- QC.generate $ V.randomMod 50 1000
-    S.shelly . S.writefile f $ V.genSource g
-handleOpts (Parse f) = do
+handleOpts (Generate _) = error "Not implemented"
+handleOpts (Parse    f) = do
     verilogSrc <- readFile file
     case V.parseVerilog file verilogSrc of
         Left  l -> print l
-- 
cgit