agda/test/Compiler/simple/Erased-cubical-Pattern-matching-Erased.options

TestOptions
  { forCompilers   = []
  , runtimeOptions = []
  , executeProg    = False
  }