diff options
Diffstat (limited to 'src/VeriFuzz/Fuzz.hs')
-rw-r--r-- | src/VeriFuzz/Fuzz.hs | 6 |
1 files changed, 4 insertions, 2 deletions
diff --git a/src/VeriFuzz/Fuzz.hs b/src/VeriFuzz/Fuzz.hs index f0628e4..4c2b09a 100644 --- a/src/VeriFuzz/Fuzz.hs +++ b/src/VeriFuzz/Fuzz.hs @@ -36,6 +36,7 @@ import Control.Monad.IO.Class import Control.Monad.Trans.Class (lift) import Control.Monad.Trans.Reader hiding (local) import Control.Monad.Trans.State.Strict +import Hedgehog (Gen) import Prelude hiding (FilePath) import VeriFuzz.Sim.Icarus import VeriFuzz.Sim.Internal @@ -43,6 +44,7 @@ import VeriFuzz.Sim.Quartus import VeriFuzz.Sim.Vivado import VeriFuzz.Sim.XST import VeriFuzz.Sim.Yosys +import VeriFuzz.Verilog.AST data Result = Pass | EquivFail @@ -112,8 +114,8 @@ synthesisers = lift $ asks getSynthesisers simulators :: (Monad m) => Fuzz m [SimTool] simulators = lift $ asks getSimulators -fuzz :: (MonadIO m) => Fuzz m FuzzResult -fuzz = do +fuzz :: (MonadIO m) => Gen SourceInfo -> Fuzz m FuzzResult +fuzz _ = do _ <- synthesisers _ <- simulators return mempty |