Module Jessie_options


module Jessie_options: sig .. end

include struct ... end
module ProjectName: EmptyString(sig
val option_name : string
val arg_name : string
val descr : string
end)
module Behavior: EmptyString(sig
val option_name : string
val arg_name : string
val descr : string
end)
module Analysis: False(sig
val option_name : string
val descr : string
end)
module JcOpt: StringSet(sig
val option_name : string
val module_name : string
val arg_name : string
val descr : string
end)
module WhyOpt: StringSet(sig
val option_name : string
val module_name : string
val arg_name : string
val descr : string
end)

type int_model =
| IMexact
| IMbounded
| IMmodulo
val pp_int_model : 'a -> Format.formatter -> int_model -> unit
val int_model : int_model Type.t
val imbounded : int_model
val imexact : int_model
val immodulo : int_model
module IntModel: IndexedVal(sig
type t = Jessie_options.int_model 
val default_val : Jessie_options.int_model
val default_key : string
val option_name : string
val arg_name : string
val descr : string
val module_name : string
val ty : Jessie_options.int_model Type.t
end)
module GenOnly: False(sig
val option_name : string
val module_name : string
val descr : string
end)
module SepRegions: True(sig
val option_name : string
val module_name : string
val descr : string
end)
module InferAnnot: EmptyString(sig
val option_name : string
val module_name : string
val arg_name : string
val descr : string
end)
module CpuLimit: Zero(sig
val option_name : string
val module_name : string
val arg_name : string
val descr : string
end)
module AbsDomain: String(sig
val option_name : string
val module_name : string
val default : string
val arg_name : string
val descr : string
end)
module Atp: String(sig
val option_name : string
val module_name : string
val default : string
val arg_name : string
val descr : string
end)
module HintLevel: Zero(sig
val option_name : string
val module_name : string
val arg_name : string
val descr : string
end)