bmct::witness_recordt Struct Reference

One enumerated witness for a failing property. More...

#include <bmc.h>

Public Attributes
size_t	ce_index
std::vector< collected_nondet_value >	nondet_inputs
goto_tracet	trace

Detailed Description

One enumerated witness for a failing property.

Member Data Documentation

ce_index

size_t bmct::witness_recordt::ce_index

nondet_inputs

std::vector<collected_nondet_value> bmct::witness_recordt::nondet_inputs

trace

goto_tracet bmct::witness_recordt::trace

---

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

• src/esbmc/bmc.h