diff options
Diffstat (limited to 'cmdline.ml')
-rw-r--r-- | cmdline.ml | 5 |
1 files changed, 5 insertions, 0 deletions
@@ -2,7 +2,12 @@ open Ast type cmdline_opt = { widen_delay : int; + disjunct : (id -> bool); + verbose_ci : bool; vverbose_ci : bool; + + max_dp_width : int; + max_dp_depth : int; } |