Up
–
Index
»
frama-c
»
Frama_c_kernel_base
» Undefined_sequence
Module
Frama_c_kernel_base.Undefined_sequence
val
check_sequences :
Cil_types.file
->
unit