verismith-0.5.0.1: Random verilog generation and simulator testing.

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

Helpers

Description

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
}
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.

data FuzzOpts Source #

Constructors

FuzzOpts
Fields _fuzzOptsOutput :: !(Maybe FilePath) _fuzzOptsForced :: !Bool _fuzzOptsKeepAll :: !Bool _fuzzOptsIterations :: !Int _fuzzOptsNoSim :: !Bool _fuzzOptsNoEquiv :: !Bool _fuzzOptsNoReduction :: !Bool _fuzzOptsConfig :: !Config _fuzzDataDir :: !FilePath _fuzzOptsCrossCheck :: !Bool

Instances

Eq FuzzOpts Source #
Instance details Defined in Verismith.Fuzz Methods (==) :: FuzzOpts -> FuzzOpts -> Bool # (/=) :: FuzzOpts -> FuzzOpts -> Bool #
Show FuzzOpts Source #
Instance details Defined in Verismith.Fuzz Methods showsPrec :: Int -> FuzzOpts -> ShowS # show :: FuzzOpts -> String # showList :: [FuzzOpts] -> ShowS #

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 #

runFuzz :: MonadIO m => FuzzOpts -> Yosys -> Fuzz Sh a -> m a Source #

sampleSeed :: MonadSh m => Maybe Seed -> Gen a -> m (Seed, a) Source #

Helpers

make :: MonadSh m => FilePath -> m () Source #

pop :: (MonadBaseControl IO m, MonadSh m) => FilePath -> m a -> m a Source #