Module Flags.Contracts

module Contracts: sig .. end

Contracts flags



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
Check modes.
val contract_gen : unit -> bool
Contract generation.
val contract_gen_depth : unit -> int
Contract generation: max depth.
val refinement : unit -> bool
Activate refinement.