| Copyright | (c) 2019 Yann Herklotz |
|---|---|
| License | GPL-3 |
| Maintainer | yann [at] yannherklotz [dot] com |
| Stability | experimental |
| Portability | POSIX |
| Safe Haskell | None |
| Language | Haskell2010 |
Verismith.Fuzz
Contents
Description
Environment to run the simulator and synthesisers in a matrix.
Synopsis
- type Fuzz (m :: Type -> Type) = StateT FuzzState (ReaderT FuzzEnv m)
- data FuzzOpts = FuzzOpts {
- _fuzzOptsOutput :: !(Maybe FilePath)
- _fuzzOptsForced :: !Bool
- _fuzzOptsKeepAll :: !Bool
- _fuzzOptsIterations :: !Int
- _fuzzOptsNoSim :: !Bool
- _fuzzOptsNoEquiv :: !Bool
- _fuzzOptsNoReduction :: !Bool
- _fuzzOptsConfig :: !Config
- _fuzzDataDir :: !FilePath
- _fuzzOptsCrossCheck :: !Bool
- _fuzzOptsChecker :: !(Maybe Text)
- fuzz :: forall (m :: Type -> Type) ann. (MonadFuzz m, Ord ann, Show ann) => Gen (SourceInfo ann) -> Fuzz m FuzzReport
- fuzzInDir :: forall (m :: Type -> Type) ann. (MonadFuzz m, Ord ann, Show ann) => Gen (SourceInfo ann) -> Fuzz m FuzzReport
- fuzzMultiple :: forall (m :: Type -> Type) ann. (MonadFuzz m, Ord ann, Show ann) => Gen (SourceInfo ann) -> Fuzz m [FuzzReport]
- fuzzMultipleEMI :: forall (m :: Type -> Type) ann. (MonadFuzz m, Ord ann, Show ann) => Gen (SourceInfo (EMIInputs ann)) -> Fuzz m [FuzzReport]
- runFuzz :: MonadIO m => FuzzOpts -> Yosys -> Fuzz Sh a -> m a
- sampleSeed :: MonadSh m => Maybe Seed -> Gen a -> m (Seed, a)
- make :: MonadSh m => FilePath -> m ()
- pop :: (MonadBaseControl IO m, MonadSh m) => FilePath -> m a -> m a
Documentation
type Fuzz (m :: Type -> Type) = StateT FuzzState (ReaderT FuzzEnv m) Source #
The main type for the fuzzing, which contains an environment that can be read from and the current state of all the results.
Constructors
| FuzzOpts | |
Fields
| |
fuzz :: forall (m :: Type -> Type) ann. (MonadFuzz m, Ord ann, Show ann) => Gen (SourceInfo ann) -> Fuzz m FuzzReport Source #
fuzzInDir :: forall (m :: Type -> Type) ann. (MonadFuzz m, Ord ann, Show ann) => Gen (SourceInfo ann) -> Fuzz m FuzzReport Source #
fuzzMultiple :: forall (m :: Type -> Type) ann. (MonadFuzz m, Ord ann, Show ann) => Gen (SourceInfo ann) -> Fuzz m [FuzzReport] Source #
fuzzMultipleEMI :: forall (m :: Type -> Type) ann. (MonadFuzz m, Ord ann, Show ann) => Gen (SourceInfo (EMIInputs ann)) -> Fuzz m [FuzzReport] Source #