Loading...
Searching...
No Matches
cover_configt Struct Reference
#include <cover.h>
+ Collaboration diagram for cover_configt:
Detailed Description
Member Data Documentation
◆ cover_failed_assertions
bool cover_configt::cover_failed_assertions
◆ cover_instrumenters
◆ function_filters
◆ goal_filters
Initial value:=
std::make_unique<goal_filterst>()
Definition at line 65 of file cover.h.
◆ keep_assertions
bool cover_configt::keep_assertions
◆ make_assertion
Initial value:=
static instructiont make_assertion(const exprt &g, const source_locationt &l=source_locationt::nil())
Definition at line 68 of file cover.h.
◆ mode
◆ traces_must_terminate
bool cover_configt::traces_must_terminate
The documentation for this struct was generated from the following file:
- /home/runner/work/cbmc/cbmc/src/goto-instrument/cover.h
