cover_instrument_assume.cpp File Reference

#include "cover_instrument.h"
#include "ansi-c/expr2c.h"
#include "goto-programs/goto_program.h"
#include "util/std_expr.h"
#include <util/namespace.h>

Include dependency graph for cover_instrument_assume.cpp:

Go to the source code of this file.

Detailed Description

Author: Diffblue Ltd. Coverage Instrumentation for ASSUME instructions.

Definition in file cover_instrument_assume.cpp.