cprover
|
Group Basic Blocks in Goto Program. More...
#include "goto_program.h"
Go to the source code of this file.
Functions | |
void | basic_blocks (goto_programt &goto_program, unsigned max_block_size=0) |
convert basic blocks into single expressions of type "block" More... | |
Group Basic Blocks in Goto Program.
Definition in file basic_blocks.h.
void basic_blocks | ( | goto_programt & | goto_program, |
unsigned | max_block_size = 0 |
||
) |
convert basic blocks into single expressions of type "block"
Definition at line 15 of file basic_blocks.cpp.
References goto_program_templatet< codeT, guardT >::instructions, and exprt::move_to_operands().
Referenced by instrument_cover_goals().