Enum TraceResult

• Defined in File trace_result.hpp

Enum Documentation

enum class smc_storm::samples::TraceResult

The possible outcome of each generated trace.

Values:

enumerator VERIFIED

enumerator NOT_VERIFIED

enumerator NO_INFO