Flags.Contracts
val compositional : unit -> bool
Compositional analysis.
val translate_contracts : unit -> string option
Translate contracts.
val check_modes : unit -> bool
Check modes.
val check_implem : unit -> bool
val contract_gen : unit -> bool
Contract generation.
val contract_gen_depth : unit -> int
Contract generation: max depth.
val refinement : unit -> bool
Activate refinement.