module Value_parameters: sig
.. end
val kernel_parameters_correctness : Parameter.t list
val kernel_parameters_precision : Parameter.t list
val parameters_correctness : Parameter.t list
val parameters_tuning : Parameter.t list
val add_dep : Parameter.parameter -> unit
val add_correctness_dep : Parameter.t -> unit
val add_precision_dep : Parameter.t -> unit
include struct ... end
module ForceValues: WithOutput
(
sig
end
)
val precision_tuning : Plugin.group
val initial_context : Plugin.group
val performance : Plugin.group
module NoResultsFunctions: StringSet
(
sig
end
)
module NoResultsAll: False
(
sig
end
)
module ObviouslyTerminatesFunctions: StringSet
(
sig
end
)
module ObviouslyTerminatesAll: False
(
sig
end
)
module ResultsAfter: Bool
(
sig
end
)
module MemoryFootprint: Int
(
sig
end
)
module PropagateTop: False
(
sig
end
)
module AllRoundingModes: False
(
sig
end
)
module UndefinedPointerComparisonPropagateAll: False
(
sig
end
)
module SignedOverflow: False
(
sig
end
)
module IgnoreRecursiveCalls: False
(
sig
end
)
module AutomaticContextMaxDepth: Int
(
sig
end
)
module AutomaticContextMaxWidth: Int
(
sig
end
)
module SeparateStmtStart: StringSet
(
sig
end
)
module SeparateStmtWord: Int
(
sig
end
)
module SeparateStmtOf: Int
(
sig
end
)
module AllocatedContextValid: False
(
sig
end
)
module WideningLevel: Int
(
sig
end
)
module SemanticUnrollingLevel: Zero
(
sig
end
)
val split_option : string -> string * string
module SlevelFunction: StringHashtbl
(
sig
end
)
(
sig
end
)
module BuiltinsOverrides: StringHashtbl
(
sig
end
)
(
sig
end
)
module Subdivide_float_in_expr: Zero
(
sig
end
)
module UsePrototype: StringSet
(
sig
end
)
module RmAssert: False
(
sig
end
)
module ValShowProgress: True
(
sig
end
)
module PrintCallstacks: False
(
sig
end
)
val parameters_correctness : Parameter.t list
val parameters_tuning : Parameter.t list