Module Value_parameters


module Value_parameters: sig .. end
Warns for unspecified sequences containing at least one writes

include struct ... end
val add_dependency : Project.Computation.t -> unit
module ForceValues: False(sig
val option_name : string
val descr : string
end)
module WarnUnspecifiedOrder: False(sig
val option_name : string
val descr : string
end)
Warns for unspecified sequences containing at least one writes
module MemFunctions: StringSet(sig
val option_name : string
val arg_name : string
val descr : string
end)
module MemExecAll: False(sig
val option_name : string
val descr : string
end)
module KeepOnlyLastRun: False(sig
val option_name : string
val descr : string
end)
Keep only last run of value analysis.
module MemoryFootprint: Int(sig
val option_name : string
val default : int
val arg_name : string
val descr : string
end)
val initial_context : Plugin.group
module AutomaticContextMaxDepth: Int(sig
val option_name : string
val default : int
val arg_name : string
val descr : string
end)
module AutomaticContextMaxWidth: Int(sig
val option_name : string
val default : int
val arg_name : string
val descr : string
end)
module AllocatedContextValid: False(sig
val option_name : string
val descr : string
end)
val precision_tuning : Plugin.group
module PropagateTop: False(sig
val option_name : string
val descr : string
end)
module WideningLevel: Int(sig
val default : int
val option_name : string
val arg_name : string
val descr : string
end)
module ArrayPrecisionLevel: Int(sig
val default : int
val option_name : string
val arg_name : string
val descr : string
end)
module SemanticUnrollingLevel: Zero(sig
val option_name : string
val arg_name : string
val descr : string
end)