cprover
remove_const_function_pointers.cpp File Reference

Goto Programs. More...

Include dependency graph for remove_const_function_pointers.cpp:

Go to the source code of this file.

Macros

#define LOG(message, irep)
 

Detailed Description

Goto Programs.

Definition in file remove_const_function_pointers.cpp.

Macro Definition Documentation

◆ LOG