summaryrefslogtreecommitdiff
path: root/cmdline.ml
blob: c82b35ba503dae417ffde418711a8f04e5e3dcd2 (plain) (blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
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;
}