Module Value_parameters


module Value_parameters: sig .. end

include struct ... end
module ForceValues: Action(sig
val option_name : string
val help : string
val kind : [> `Tuning ]
end)
module MemFunctions: StringSet(sig
val option_name : string
val arg_name : string
val help : string
val kind : [> `Tuning ]
end)
module MemExecAll: False(sig
val option_name : string
val help : string
val kind : [> `Tuning ]
end)
module NoResultsFunctions: StringSet(sig
val option_name : string
val arg_name : string
val help : string
val kind : [> `Tuning ]
end)
module NoResultsAll: False(sig
val option_name : string
val help : string
val kind : [> `Tuning ]
end)
module SignedOverflow: False(sig
val option_name : string
val help : string
val kind : [> `Correctness ]
end)
module IgnoreRecursiveCalls: False(sig
val option_name : string
val help : string
val kind : [> `Correctness ]
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
val option_name : string
val arg_name : string
val help : string
val kind : [> `Correctness ]
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
val option_name : string
val help : string
val kind : [> `Correctness ]
end)
module AllocatedContextValid: False(sig
val option_name : string
val help : string
val kind : [> `Correctness ]
end)
module UndefinedPointerComparisonPropagateAll: False(sig
val option_name : string
val help : string
val kind : [> `Correctness ]
end)
val precision_tuning : Plugin.group
module PropagateTop: False(sig
val option_name : string
val help : string
val kind : [> `Tuning ]
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
val option_name : string
val arg_name : string
val help : string
val kind : [> `Tuning ]
end)
module SlevelFunction: StringHashtbl(sig
val option_name : string
val arg_name : string
val help : string
val kind : [> `Tuning ]
end)(sig
include Datatype.Int
val rx : Str.regexp
val parse : string -> string * int
val no_binding : 'a -> SemanticUnrollingLevel.t
end)
module Subdivide_float_in_expr: Zero(sig
val option_name : string
val arg_name : string
val help : string
val kind : [> `Tuning ]
end)