src/options/expr_options.toml

   1 id     = "EXPR"
   2 name   = "Expression package"
   3 header = "options/expr_options.h"
   4
   5 [[option]]
   6   name       = "defaultExprDepth"
   7   category   = "regular"
   8   long       = "expr-depth=N"
   9   type       = "int"
  10   default    = "0"
  11   predicates = ["setDefaultExprDepthPredicate"]
  12   read_only  = true
  13   help       = "print exprs to depth N (0 == default, -1 == no limit)"
  14
  15 [[option]]
  16   name       = "defaultDagThresh"
  17   smt_name   = "dag-thresh"
  18   category   = "regular"
  19   long       = "dag-thresh=N"
  20   type       = "int"
  21   default    = "1"
  22   predicates = ["setDefaultDagThreshPredicate"]
  23   read_only  = true
  24   help       = "dagify common subexprs appearing > N times (1 == default, 0 == don't dagify)"
  25
  26 [[option]]
  27   name       = "typeChecking"
  28   category   = "regular"
  29   long       = "type-checking"
  30   type       = "bool"
  31   default    = "DO_SEMANTIC_CHECKS_BY_DEFAULT"
  32   read_only  = true
  33   help       = "type check expressions"