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: Action
(
sig
end
)
module WarnUnspecifiedOrder: False
(
sig
end
)
Warns for unspecified sequences containing at least one writes
module MemFunctions: StringSet
(
sig
end
)
module MemExecAll: False
(
sig
end
)
module KeepOnlyLastRun: False
(
sig
end
)
Keep only last run of value analysis.
module MemoryFootprint: Int
(
sig
end
)
val initial_context : Plugin.group
module AutomaticContextMaxDepth: Int
(
sig
end
)
module AutomaticContextMaxWidth: Int
(
sig
end
)
module AllocatedContextValid: False
(
sig
end
)
val precision_tuning : Plugin.group
module PropagateTop: False
(
sig
end
)
module WideningLevel: Int
(
sig
end
)
module ArrayPrecisionLevel: Int
(
sig
end
)
module SemanticUnrollingLevel: Zero
(
sig
end
)