diff options
author | Yann Herklotz <git@yannherklotz.com> | 2019-07-23 14:57:09 +0200 |
---|---|---|
committer | Yann Herklotz <git@yannherklotz.com> | 2019-07-23 14:57:09 +0200 |
commit | 30d2218e65e975c6ce5887d757f454f15af75a98 (patch) | |
tree | 422202e34068142db646ae025e80493f3f6cc5b4 /src/VeriFuzz | |
parent | dee97dfaaec3da1719b059d6a44ebee78ff76999 (diff) | |
download | verismith-30d2218e65e975c6ce5887d757f454f15af75a98.tar.gz verismith-30d2218e65e975c6ce5887d757f454f15af75a98.zip |
Fix nix build and add to travis
Diffstat (limited to 'src/VeriFuzz')
-rw-r--r-- | src/VeriFuzz/Config.hs | 28 |
1 files changed, 12 insertions, 16 deletions
diff --git a/src/VeriFuzz/Config.hs b/src/VeriFuzz/Config.hs index 0fc9435..86daaab 100644 --- a/src/VeriFuzz/Config.hs +++ b/src/VeriFuzz/Config.hs @@ -77,22 +77,18 @@ module VeriFuzz.Config ) where -import Control.Applicative ( Alternative ) -import Control.Lens hiding ( (.=) ) -import Data.List.NonEmpty ( NonEmpty(..) ) -import Data.Maybe ( fromMaybe ) -import Data.Text ( Text - , pack - ) -import qualified Data.Text.IO as T -import Data.Version ( showVersion ) +import Control.Applicative (Alternative) +import Control.Lens hiding ((.=)) +import Data.List.NonEmpty (NonEmpty (..)) +import Data.Maybe (fromMaybe) +import Data.Text (Text, pack) +import qualified Data.Text.IO as T +import Data.Version (showVersion) import Development.GitRev -import Hedgehog.Internal.Seed ( Seed ) -import Paths_verifuzz ( version ) -import Shelly ( toTextIgnore ) -import Toml ( TomlCodec - , (.=) - ) +import Hedgehog.Internal.Seed (Seed) +import Paths_verifuzz (version) +import Shelly (toTextIgnore) +import Toml (TomlCodec, (.=)) import qualified Toml import VeriFuzz.Sim.Quartus import VeriFuzz.Sim.Vivado @@ -203,7 +199,7 @@ data ConfProperty = ConfProperty { _propSize :: {-# UNPACK #-} !Int , _propMaxModules :: {-# UNPACK #-} !Int , _propSampleMethod :: !Text , _propSampleSize :: {-# UNPACK #-} !Int - , _propCombine :: {-# UNPACK #-} !Bool + , _propCombine :: !Bool } deriving (Eq, Show) |