cover_instrument_assume.cpp File Reference

Author: Diffblue Ltd. More...

#include "cover_instrument.h"
#include "ansi-c/expr2c.h"
#include "goto-programs/goto_program.h"
#include "util/std_expr.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.