diff options
| author | Yann Herklotz <git@ymhg.org> | 2019-04-15 20:37:15 +0100 |
|---|---|---|
| committer | Yann Herklotz <git@ymhg.org> | 2019-04-15 20:37:15 +0100 |
| commit | 053be2bd7b06ecb371fa0e163d4d1c3e17fe0df3 (patch) | |
| tree | 682785734f9c8447265ae9b2192d54d7860c5619 /src/VeriFuzz/Fuzz.hs | |
| parent | 705bdb142b1088676ddc3178d8677bd40ab2b1d6 (diff) | |
| download | verismith-053be2bd7b06ecb371fa0e163d4d1c3e17fe0df3.tar.gz verismith-053be2bd7b06ecb371fa0e163d4d1c3e17fe0df3.zip | |
Move declaration of SourceInfo
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 |