cprover
cover_configt Struct Reference

#include <cover.h>

Collaboration diagram for cover_configt:
[legend]

Public Attributes

bool keep_assertions
 
bool traces_must_terminate
 
irep_idt mode
 
function_filterst function_filters
 
goal_filterst goal_filters
 
cover_instrumenterst cover_instrumenters
 

Detailed Description

Definition at line 37 of file cover.h.

Member Data Documentation

◆ cover_instrumenters

cover_instrumenterst cover_configt::cover_instrumenters

Definition at line 44 of file cover.h.

◆ function_filters

function_filterst cover_configt::function_filters

Definition at line 42 of file cover.h.

◆ goal_filters

goal_filterst cover_configt::goal_filters

Definition at line 43 of file cover.h.

◆ keep_assertions

bool cover_configt::keep_assertions

Definition at line 39 of file cover.h.

◆ mode

irep_idt cover_configt::mode

Definition at line 41 of file cover.h.

◆ traces_must_terminate

bool cover_configt::traces_must_terminate

Definition at line 40 of file cover.h.


The documentation for this struct was generated from the following file: