agda/test/Compiler/simple/Erased-cubical-Cubical.options

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