agda/test/Compiler/simple/Issue2918-Inlining.options

TestOptions
  { forCompilers =
      [ (MAlonzo Lazy,       CompilerOptions {extraAgdaArgs = ["--no-main"]})
      , (MAlonzo StrictData, CompilerOptions {extraAgdaArgs = ["--no-main"]})
      , (MAlonzo Strict,     CompilerOptions {extraAgdaArgs = ["--no-main"]})
      ]
  , runtimeOptions = []
  , executeProg = False
  }