Safe Haskell	None
Language	Haskell2010

Verismith.OptParser

Documentation

data OptTool Source #

Constructors

TYosys
TXST
TIcarus

Instances

Instances details

Show OptTool Source #
Instance details Defined in Verismith.OptParser Methods showsPrec :: Int -> OptTool -> ShowS # show :: OptTool -> String # showList :: [OptTool] -> ShowS #

data Opts Source #

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)
EMIOpts
Fields emiOutput :: Text emiConfigFile :: !(Maybe FilePath) emiForced :: !Bool emiKeepAll :: !Bool emiNum :: !Int emiNoSim :: !Bool emiNoEquiv :: !Bool emiNoReduction :: !Bool emiTopModule :: Text emiInputFile :: FilePath
Generate
Fields generateFilename :: !(Maybe FilePath) generateConfigFile :: !(Maybe FilePath) generateValidSyntax :: !Bool generatePrinting :: !PrintingOpts
Parse
Fields parseFilename :: !FilePath parseOutput :: !(Maybe FilePath) parseStrict :: !Bool parsePrinting :: !PrintingOpts
Reduce
Fields reduceFilename :: !FilePath reduceTop :: !Text reduceScript :: !(Maybe FilePath) reduceSynthesiserDesc :: ![SynthDescription] reduceRerun :: !Bool
ConfigOpt
Fields configOptWriteConfig :: !(Maybe FilePath) configOptConfigFile :: !(Maybe FilePath) configOptDoRandomise :: !Bool
DistanceOpt
Fields distanceOptVerilogA :: !FilePath distanceOptVerilogB :: !FilePath
ShuffleOpt
Fields shuffleOptFilename :: !FilePath shuffleOptTop :: !Text shuffleOptOutput :: !(Maybe FilePath) shuffleOptShuffleLines :: !Bool shuffleOptRenameVars :: !Bool shuffleOptEquiv :: !Bool shuffleOptEquivFolder :: !FilePath shuffleOptChecker :: !(Maybe Text)
Equiv
Fields equivOutput :: !FilePath equivFilenameA :: !FilePath equivFilenameB :: !FilePath equivFileTop :: !Text equivChecker :: !(Maybe Text)

opts :: ParserInfo Opts Source #