cprover
remove_skip.h File Reference

Program Transformation. More...

#include "goto_functions.h"
Include dependency graph for remove_skip.h:
This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

Functions

void remove_skip (goto_programt &goto_program)
 remove unnecessary skip statements More...
 
void remove_skip (goto_functionst &goto_functions)
 remove unnecessary skip statements More...
 

Detailed Description

Program Transformation.

Definition in file remove_skip.h.

Function Documentation

◆ remove_skip() [1/2]

◆ remove_skip() [2/2]

void remove_skip ( goto_functionst goto_functions)

remove unnecessary skip statements

Definition at line 158 of file remove_skip.cpp.

References Forall_goto_functions, and remove_skip().