path: root/cmdline.ml

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;
}