Module Mark_noresults

module Mark_noresults: sig .. end

Are the states of the function analysis saved?


val should_memorize_function : Cil_types.fundec -> bool
val no_memoization_enabled : unit -> bool

Signal that some analysis results are not stored.