Class Ltl_to_acsl_visitors.visit_computing_ingored_functions


class visit_computing_ingored_functions : unit -> object .. end
This visitor computes the list of ignored functions. A function is ignored if its call is present in the C program, while its declaration is not available.
Inherits
method vfunc : Cil_types.fundec -> Cil_types.fundec Cil.visitAction
method vstmt_aux : Cil_types.stmt -> Cil_types.stmt Cil.visitAction