| 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 = StateT FuzzState (ReaderT FuzzEnv m)
- fuzz :: MonadFuzz m => Gen SourceInfo -> Config -> Fuzz m FuzzReport
- fuzzInDir :: MonadFuzz m => FilePath -> Gen SourceInfo -> Config -> Fuzz m FuzzReport
- fuzzMultiple :: MonadFuzz m => Int -> Maybe FilePath -> Gen SourceInfo -> Config -> Fuzz m [FuzzReport]
- runFuzz :: MonadIO m => Config -> Yosys -> (Config -> 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.
fuzz :: MonadFuzz m => Gen SourceInfo -> Config -> Fuzz m FuzzReport Source #
fuzzInDir :: MonadFuzz m => FilePath -> Gen SourceInfo -> Config -> Fuzz m FuzzReport Source #
fuzzMultiple :: MonadFuzz m => Int -> Maybe FilePath -> Gen SourceInfo -> Config -> Fuzz m [FuzzReport] Source #