module Flags:sig
..end
Filtering Categories of Alarms
type
t = {
|
remove_trivial : |
|
initialized : |
|
mem_access : |
|
div_mod : |
|
shift : |
|
left_shift_negative : |
|
right_shift_negative : |
|
signed_overflow : |
|
unsigned_overflow : |
|
signed_downcast : |
|
unsigned_downcast : |
|
float_to_int : |
|
finite_float : |
|
pointer_call : |
|
bool_value : |
Flags for controling the low-level API. Each flag control whether a category of alarms will be visited or not.
val default : ?remove_trivial:bool ->
?initialized:bool ->
?mem_access:bool ->
?div_mod:bool ->
?shift:bool ->
?left_shift_negative:bool ->
?right_shift_negative:bool ->
?signed_overflow:bool ->
?unsigned_overflow:bool ->
?signed_downcast:bool ->
?unsigned_downcast:bool ->
?float_to_int:bool ->
?finite_float:bool ->
?pointer_call:bool -> ?bool_value:bool -> unit -> t
Defaults flags are taken from the Kernel and RTE plug-in options.
val all : t
All flags set to true
.
val none : t
All flags set to false
.