libriscv-0.1.0.0: A versatile, flexible and executable formal model for the RISC-V architecture.
Safe HaskellSafe-Inferred
LanguageHaskell2010

LibRISCV.CmdLine

Description

Implementation of common command-line arguments using optparse-applicative.

Synopsis

Documentation

data BasicArgs Source #

BasicArgs can be combined/extended with additional parsers using the <*> applicative operator provided by Options.Applicative.

Constructors

BasicArgs 

Fields

  • memAddr :: Word32

    Start address of the general-purpose memory.

  • memSize :: Word32

    Size of the memory in bytes.

  • trace :: Bool

    Whether to enable instruction tracing.

  • putRegs :: Bool

    Whether to print all register values at the end.

  • file :: String

    Path to ELf file which should be executed.