agda/test/Compiler/simple/Issue223.options

TestOptions
  { forCompilers =
      [ ( MAlonzo Lazy
        , CompilerOptions
            { extraAgdaArgs =
                ["--no-main", "--ghc-flag=-i./test/Compiler/simple/"]
            }
        )
      , ( MAlonzo StrictData
        , CompilerOptions
            { extraAgdaArgs =
                ["--no-main", "--ghc-flag=-i./test/Compiler/simple/"]
            }
        )
      , ( MAlonzo Strict
        , CompilerOptions
            { extraAgdaArgs =
                ["--no-main", "--ghc-flag=-i./test/Compiler/simple/"]
            }
        )
      ]
  , runtimeOptions = []
  , executeProg = False
  }