cprover
|
Basic blocks detection for Coverage Instrumentation. More...
#include <unordered_set>
#include <util/message.h>
#include <goto-programs/goto_model.h>
#include "source_lines.h"
Go to the source code of this file.
Classes | |
class | cover_blocks_baset |
class | cover_basic_blockst |
struct | cover_basic_blockst::block_infot |
class | cover_basic_blocks_javat |
Basic blocks detection for Coverage Instrumentation.
Definition in file cover_basic_blocks.h.