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   help       = "print exprs to depth N (0 == default, -1 == no limit)"
  13
  14 [[option]]
  15   name       = "defaultDagThresh"
  16   smt_name   = "dag-thresh"
  17   category   = "regular"
  18   long       = "dag-thresh=N"
  19   type       = "int"
  20   default    = "1"
  21   predicates = ["setDefaultDagThreshPredicate"]
  22   help       = "dagify common subexprs appearing > N times (1 == default, 0 == don't dagify)"
  23
  24 [[option]]
  25   name       = "typeChecking"
  26   category   = "regular"
  27   long       = "type-checking"
  28   type       = "bool"
  29   default    = "DO_SEMANTIC_CHECKS_BY_DEFAULT"
  30   help       = "type check expressions"