module quint_connect_cli {
  var command: str
  var specPath: str
  var seedValue: str
  var maxSamples: int
  var nTraces: int
  var outItf: str
  var hasMbt: bool
  var verbosity: str
  var initAction: str
  var stepAction: str
  var maxSteps: int
  var matchPattern: str
  var argCount: int

  action init = all {
    command' = "init",
    specPath' = "",
    seedValue' = "",
    maxSamples' = 0,
    nTraces' = 0,
    outItf' = "",
    hasMbt' = false,
    verbosity' = "",
    initAction' = "",
    stepAction' = "",
    maxSteps' = 0,
    matchPattern' = "",
    argCount' = 0,
  }

  action RunArgv = all {
    command' = "run",
    specPath' = "spec.qnt",
    seedValue' = "1",
    maxSamples' = 3,
    nTraces' = 3,
    outItf' = "run_{seq}.itf.json",
    hasMbt' = true,
    verbosity' = "0",
    initAction' = "init",
    stepAction' = "step",
    maxSteps' = 7,
    matchPattern' = "",
    argCount' = 19,
  }

  action TestArgv = all {
    command' = "test",
    specPath' = "spec.qnt",
    seedValue' = "1",
    maxSamples' = 2,
    nTraces' = 0,
    outItf' = "test_{seq}.itf.json",
    hasMbt' = false,
    verbosity' = "0",
    initAction' = "",
    stepAction' = "",
    maxSteps' = 0,
    matchPattern' = "^happy$",
    argCount' = 12,
  }
}