Verismith.OptParser

Documentation

data OptTool

Constructors

TYosys

TXST

TIcarus

Instances

Show OptTool

Defined in Verismith.OptParser

Methods

showsPrec :: Int -> OptTool -> ShowS

show :: OptTool -> String

showList :: [OptTool] -> ShowS

data Opts

Constructors

Fuzz

Fields

• fuzzOutput :: !Text
• fuzzConfigFile :: !(Maybe FilePath)
• fuzzForced :: !Bool
• fuzzKeepAll :: !Bool
• fuzzNum :: !Int
• fuzzNoSim :: !Bool
• fuzzNoEquiv :: !Bool
• fuzzNoReduction :: !Bool
• fuzzExistingFile :: !(Maybe FilePath)
• fuzzExistingFileTop :: !Text
• fuzzCrossCheck :: !Bool
• fuzzChecker :: !(Maybe Text)

Generate

Fields

• generateFilename :: !(Maybe FilePath)
• generateConfigFile :: !(Maybe FilePath)

Parse

Fields

• parseFilename :: !FilePath
• parseTop :: !Text
• parseOutput :: !(Maybe FilePath)
• parseRemoveConstInConcat :: !Bool

Reduce

Fields

• reduceFilename :: !FilePath
• reduceTop :: !Text
• reduceScript :: !(Maybe FilePath)
• reduceSynthesiserDesc :: ![SynthDescription]
• reduceRerun :: !Bool

ConfigOpt

Fields

• configOptWriteConfig :: !(Maybe FilePath)
• configOptConfigFile :: !(Maybe FilePath)
• configOptDoRandomise :: !Bool

opts :: ParserInfo Opts