api::OcelotConfiguration::TraceGeneration::RaceDetector Class Reference

configuration properties for trace::RaceDetector More...

#include <OcelotConfiguration.h>

List of all members.

Public Member Functions
	RaceDetector ()
Public Attributes
bool	enabled
	indicates trace generator is enabled
bool	ignoreIrrelevantWrites
	Do not report races that write over a value.

---

Detailed Description

configuration properties for trace::RaceDetector

---

Constructor & Destructor Documentation

api::OcelotConfiguration::TraceGeneration::RaceDetector::RaceDetector

(

)

---

Member Data Documentation

bool api::OcelotConfiguration::TraceGeneration::RaceDetector::enabled

indicates trace generator is enabled

bool api::OcelotConfiguration::TraceGeneration::RaceDetector::ignoreIrrelevantWrites

Do not report races that write over a value.

---

The documentation for this class was generated from the following files:

• ocelot/api/interface/OcelotConfiguration.h
• ocelot/api/implementation/OcelotConfiguration.cpp