Parameter Make.Options

val leak_info : leak_info
val taint : bool
val cv : bool
val relse : bool
val stats_file : string option
val check_branch : bool
val check_memory : bool
val check_mult : bool
val check_dividend : bool
val check_divisor : bool