instrument_given_invariants.cpp File Reference

Instrument Given Invariants. More...

#include "instrument_given_invariants.h"
#include <util/expr_util.h>
#include <goto-programs/goto_model.h>

Include dependency graph for instrument_given_invariants.cpp:

Go to the source code of this file.

Functions
void	instrument_given_invariants (goto_functionst::function_mapt::value_type &f)
void	instrument_given_invariants (goto_modelt &goto_model)

Detailed Description

Instrument Given Invariants.

Definition in file instrument_given_invariants.cpp.

Function Documentation

instrument_given_invariants() [1/2]

void instrument_given_invariants

(

goto_functionst::function_mapt::value_type &

f

)

Definition at line 18 of file instrument_given_invariants.cpp.

instrument_given_invariants() [2/2]

void instrument_given_invariants

(

goto_modelt &

goto_model

)

Definition at line 55 of file instrument_given_invariants.cpp.