cprover
|
Remove initializations of unused global variables. More...
#include <util/exception_utils.h>
Go to the source code of this file.
Classes | |
class | user_input_error_exceptiont |
Functions | |
void | slice_global_inits (goto_modelt &) |
Remove initializations of unused global variables.
Definition in file slice_global_inits.h.
void slice_global_inits | ( | goto_modelt & | ) |
Definition at line 31 of file slice_global_inits.cpp.