Fields

• maxIterationUnfold :: Int

  maximum number of iteration unfoldings when searching for satisfiable paths. (indirectly controls maximum path length)

• valueSize :: Integer

  size of randomly generated input candidates (the solver might find bigger solutions)

• solverTimeout :: Int

  solver timeout in milliseconds

• maxTimeouts :: Int

  maximum number of solver timeouts before giving up

• testsPerPath :: Int

  minimum number of tests generated per path (when using InputMode UntilValid more test will be performed)

• maxNegative :: Int

  maximum number of negative inputs per path (for InputMode UntilValid)

• terminalOutput :: Bool

  print extra information

• feedbackStyle :: FeedbackStyle

  feedback formating

• avoidOverflows :: Bool

  check that intermediate results do not cause Int overflows, including parts of OutputTerms when possible (best-effort, no guarantees on completeness)

• solverMaxSeqLength :: Int

  maximum length of string values in the backend solver. Smaller values may speed up test case generation, at the risk of not finding some satisfiable paths

Fields

• simplifyFeedback :: Bool

  cleanup feedback for educational use

• traceStyle :: TraceStyle

  trace printing style