Copyright | (c) 2019 Yann Herklotz |
---|---|
License | GPL-3 |
Maintainer | yann [at] yannherklotz [dot] com |
Stability | experimental |
Portability | POSIX |
Safe Haskell | None |
Language | Haskell2010 |
Environment to run the simulator and synthesisers in a matrix.
Synopsis
- type Fuzz m = 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 :: MonadFuzz m => Gen SourceInfo -> Fuzz m FuzzReport
- fuzzInDir :: MonadFuzz m => Gen SourceInfo -> Fuzz m FuzzReport
- fuzzMultiple :: MonadFuzz m => Gen SourceInfo -> 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 = 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.
FuzzOpts | |
|
fuzz :: MonadFuzz m => Gen SourceInfo -> Fuzz m FuzzReport Source #
fuzzInDir :: MonadFuzz m => Gen SourceInfo -> Fuzz m FuzzReport Source #
fuzzMultiple :: MonadFuzz m => Gen SourceInfo -> Fuzz m [FuzzReport] Source #