Module `Flags.C2I`

C2I flags

val dnf_size : unit -> int: Number of disjuncts in the DNF constructed by C2I.

val int_cube_size : unit -> int: Number of int cubes in the DNF constructed by C2I.

val real_cube_size : unit -> int: Number of real cubes in the DNF constructed by C2I.

val modes : unit -> bool: Whether mode sub candidate is activated in c2i.