cmdline.ml


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