diff options
| author | Yann Herklotz <git@yannherklotz.com> | 2019-07-21 14:24:12 +0200 |
|---|---|---|
| committer | Yann Herklotz <git@yannherklotz.com> | 2019-07-21 14:24:12 +0200 |
| commit | 58c0c75859a63bc60064a265eb3ea0ae669b4137 (patch) | |
| tree | 5338cd24bb74c4d351bc3a8c650a5456b34b8beb | |
| parent | 4ed9bc7e68c23aecc1b6e1ca15fe5106680e1004 (diff) | |
| download | verismith-58c0c75859a63bc60064a265eb3ea0ae669b4137.tar.gz verismith-58c0c75859a63bc60064a265eb3ea0ae669b4137.zip | |
Add .env and fix VeriFuzz.hs
| -rw-r--r-- | .envrc | 1 | ||||
| -rw-r--r-- | src/VeriFuzz.hs | 44 |
2 files changed, 22 insertions, 23 deletions
@@ -0,0 +1 @@ +use nix diff --git a/src/VeriFuzz.hs b/src/VeriFuzz.hs index 0bbdc4f..7bc562f 100644 --- a/src/VeriFuzz.hs +++ b/src/VeriFuzz.hs @@ -28,29 +28,27 @@ module VeriFuzz where import Control.Concurrent -import Control.Lens hiding ( (<.>) ) -import Control.Monad.IO.Class ( liftIO ) -import qualified Crypto.Random.DRBG as C -import Data.ByteString ( ByteString ) -import Data.ByteString.Builder ( byteStringHex - , toLazyByteString - ) -import qualified Data.ByteString.Lazy as L -import qualified Data.Graph.Inductive as G -import qualified Data.Graph.Inductive.Dot as G -import Data.Maybe ( isNothing ) -import Data.Text ( Text ) -import qualified Data.Text as T -import Data.Text.Encoding ( decodeUtf8 ) -import qualified Data.Text.IO as T -import Hedgehog ( Gen ) -import qualified Hedgehog.Gen as Hog -import Hedgehog.Internal.Seed ( Seed ) +import Control.Lens hiding ((<.>)) +import Control.Monad.IO.Class (liftIO) +import qualified Crypto.Random.DRBG as C +import Data.ByteString (ByteString) +import Data.ByteString.Builder (byteStringHex, toLazyByteString) +import qualified Data.ByteString.Lazy as L +import qualified Data.Graph.Inductive as G +import qualified Data.Graph.Inductive.Dot as G +import Data.Maybe (isNothing) +import Data.Text (Text) +import qualified Data.Text as T +import Data.Text.Encoding (decodeUtf8) +import qualified Data.Text.IO as T +import Hedgehog (Gen) +import qualified Hedgehog.Gen as Hog +import Hedgehog.Internal.Seed (Seed) import Options.Applicative -import Prelude hiding ( FilePath ) -import Shelly hiding ( command ) -import Shelly.Lifted ( liftSh ) -import System.Random ( randomIO ) +import Prelude hiding (FilePath) +import Shelly hiding (command) +import Shelly.Lifted (liftSh) +import System.Random (randomIO) import VeriFuzz.Circuit import VeriFuzz.Config import VeriFuzz.Fuzz @@ -60,7 +58,7 @@ import VeriFuzz.Result import VeriFuzz.Sim import VeriFuzz.Sim.Internal import VeriFuzz.Verilog -import VeriFuzz.Verilog.Parser ( parseSourceInfoFile ) +import VeriFuzz.Verilog.Parser (parseSourceInfoFile) data OptTool = TYosys | TXST |