cprover
|
#include <cover.h>
Public Attributes | |
bool | keep_assertions |
bool | traces_must_terminate |
irep_idt | mode |
function_filterst | function_filters |
goal_filterst | goal_filters |
cover_instrumenterst | cover_instrumenters |
cover_instrumenterst cover_configt::cover_instrumenters |
function_filterst cover_configt::function_filters |
goal_filterst cover_configt::goal_filters |