agda/test/Compiler/simple/PrimSeq.options

TestOptions
  { forCompilers =
      [ (MAlonzo Lazy,       CompilerOptions {extraAgdaArgs = ["--ghc-flag=-rtsopts"]})
      , (MAlonzo StrictData, CompilerOptions {extraAgdaArgs = ["--ghc-flag=-rtsopts"]})
      , (MAlonzo Strict,     CompilerOptions {extraAgdaArgs = ["--ghc-flag=-rtsopts"]})
      ]
  , runtimeOptions = ["+RTS", "-M100M"]
  , executeProg = True
  }