agda/test/Compiler/simple/Strict.options

TestOptions
  { forCompilers =
      [ (MAlonzo StrictData, CompilerOptions {extraAgdaArgs = []})
      , (MAlonzo Strict,     CompilerOptions {extraAgdaArgs = []})
      ]
  , runtimeOptions = []
  , executeProg = True
  }