agda/test/Compiler/with-stdlib/AllStdLib.options

TestOptions
  { forCompilers   = [(MAlonzo Lazy, CompilerOptions {extraAgdaArgs = ["--no-ignore-interfaces", "--ghc-flag=-j2"]})]
  , runtimeOptions = []
  , executeProg    = True }