Class Datascope.rm_annot_visitor

class rm_annot_visitor : Cil_types.code_annotation list -> object .. end
Visitor to remove the annotations collected by check_asserts. In fact, it changes them to assert true;
Inherits
method vcode_annot : Cil_types.code_annotation -> Cil_types.code_annotation Cil.visitAction