agda/test/Compiler/simple/FFI.options

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