c_safety_checks.h File Reference

Checks for Errors in C/C++ Programs. More...

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

Go to the source code of this file.

Functions
void	c_safety_checks (goto_modelt &)
void	no_assertions (goto_modelt &)

Detailed Description

Checks for Errors in C/C++ Programs.

Definition in file c_safety_checks.h.

Function Documentation

c_safety_checks()

void c_safety_checks

(

goto_modelt &

goto_model

)

Definition at line 418 of file c_safety_checks.cpp.

no_assertions()

void no_assertions

(

goto_modelt &

goto_model

)

Definition at line 444 of file c_safety_checks.cpp.