#include <goto-programs/goto_model.h>

Include dependency graph for instrument_preconditions.h:

This graph shows which files directly or indirectly include this file:

Functions
void	instrument_preconditions (goto_modelt &)

void	remove_preconditions (goto_modelt &)

void	remove_preconditions (goto_functiont &)

Function Documentation

◆ instrument_preconditions()

void instrument_preconditions ( goto_modelt & )

void remove_preconditions ( goto_modelt & )

void remove_preconditions ( goto_functiont & )