Class Value_util.postconditions_mention_result

class postconditions_mention_result : object .. end
Find if a postcondition contains \result
Inherits
method vterm_lhost : Cil_types.term_lhost -> Cil_types.term_lhost Cil.visitAction