agda/test/Compiler/simple/Issue5441.options

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