Documentation

Fields

• cName :: Maybe Text

  Optional human-readable name for the configuration, purely descriptive.

• cLimit :: Int

  The maximum number of instructions to execute.

• cMemorySize :: Int

  The size of the memory in bytes.

• cMemoryMappedIo :: Maybe (HashMap String [Input])

  Optional memory-mapped IO configuration, mapping stream address (decimal or hex format) to lists of inputs.

• cMemoryMappedIoFlat :: Maybe (IntMap ([Int], [Int]))

  (generated) Flattened memory-mapped IO configuration, mapping addresses to pairs of input and output lists.

• cReports :: Maybe [ReportConf]

  Optional list of report configurations.

• cSeed :: Maybe Int

  Optional seed for random number generation.

• cZeroMemoryInit :: Maybe Bool