diff options
| author | Yann Herklotz <git@ymhg.org> | 2019-05-06 18:59:08 +0100 |
|---|---|---|
| committer | Yann Herklotz <git@ymhg.org> | 2019-05-06 18:59:08 +0100 |
| commit | 1e4798b9bfe090ac68c2edd036637b6bfac5c06b (patch) | |
| tree | 680f75c00e9e6ee7f49560a8f4509b74b08730ed /src/VeriFuzz/Fuzz.hs | |
| parent | 4cdbcd7570009187954afe0c0308fa1eb4460c55 (diff) | |
| download | verismith-1e4798b9bfe090ac68c2edd036637b6bfac5c06b.tar.gz verismith-1e4798b9bfe090ac68c2edd036637b6bfac5c06b.zip | |
Support multiple reg assigns in if statements
Diffstat (limited to 'src/VeriFuzz/Fuzz.hs')
| -rw-r--r-- | src/VeriFuzz/Fuzz.hs | 8 |
1 files changed, 0 insertions, 8 deletions
diff --git a/src/VeriFuzz/Fuzz.hs b/src/VeriFuzz/Fuzz.hs index 57928b4..553fc88 100644 --- a/src/VeriFuzz/Fuzz.hs +++ b/src/VeriFuzz/Fuzz.hs @@ -33,16 +33,12 @@ import Control.Monad.Trans.Control (MonadBaseControl) import Control.Monad.Trans.Maybe (runMaybeT) import Control.Monad.Trans.Reader hiding (local) import Control.Monad.Trans.State.Strict -import Data.ByteString (ByteString) import Data.List (nubBy) import Data.Maybe (isNothing) import Data.Text (Text) import qualified Data.Text as T import Data.Time import Hedgehog (Gen) -import Hedgehog (Gen) -import qualified Hedgehog.Gen as Hog -import qualified Hedgehog.Gen as Hog import qualified Hedgehog.Internal.Gen as Hog import Hedgehog.Internal.Seed (Seed) import qualified Hedgehog.Internal.Seed as Hog @@ -54,11 +50,7 @@ import VeriFuzz.Config import VeriFuzz.Internal import VeriFuzz.Report import VeriFuzz.Result -import VeriFuzz.Sim.Icarus import VeriFuzz.Sim.Internal -import VeriFuzz.Sim.Quartus -import VeriFuzz.Sim.Vivado -import VeriFuzz.Sim.XST import VeriFuzz.Sim.Yosys import VeriFuzz.Verilog.AST import VeriFuzz.Verilog.CodeGen |