module Value_parameters:sig
..end
include struct ... end
module ForceValues:Action
(
sig
end
)
module MemFunctions:StringSet
(
sig
end
)
module MemExecAll:False
(
sig
end
)
module NoResultsFunctions:StringSet
(
sig
end
)
module NoResultsAll:False
(
sig
end
)
module SignedOverflow:False
(
sig
end
)
module IgnoreRecursiveCalls:False
(
sig
end
)
module MemoryFootprint:Int
(
sig
val option_name :string
val default :int
val arg_name :string
val help :string
val kind :[> `Tuning ]
end
)
val initial_context : Plugin.group
module AutomaticContextMaxDepth:Int
(
sig
val option_name :string
val default :int
val arg_name :string
val help :string
val kind :[> `Correctness ]
end
)
module AutomaticContextMaxWidth:Int
(
sig
val option_name :string
val default :int
val arg_name :string
val help :string
val kind :[> `Correctness ]
end
)
module SeparateStmtStart:StringSet
(
sig
end
)
module SeparateStmtWord:Int
(
sig
val option_name :string
val default :int
val arg_name :string
val help :string
val kind :[> `Correctness ]
end
)
module SeparateStmtOf:Int
(
sig
val option_name :string
val default :int
val arg_name :string
val help :string
val kind :[> `Correctness ]
end
)
module AllRoundingModes:False
(
sig
end
)
module AllocatedContextValid:False
(
sig
end
)
module UndefinedPointerComparisonPropagateAll:False
(
sig
end
)
val precision_tuning : Plugin.group
module PropagateTop:False
(
sig
end
)
module WideningLevel:Int
(
sig
val default :int
val option_name :string
val arg_name :string
val help :string
val kind :[> `Tuning ]
end
)
module ArrayPrecisionLevel:Int
(
sig
val default :int
val option_name :string
val arg_name :string
val help :string
val kind :[> `Tuning ]
end
)
module SemanticUnrollingLevel:Zero
(
sig
end
)
module SlevelFunction:StringHashtbl
(
sig
end
)
(
sig
include Datatype.Intval rx :Str.regexp
val parse :string -> string * int
val no_binding :'a -> SemanticUnrollingLevel.t
end
)
module Subdivide_float_in_expr:Zero
(
sig
end
)