StatisticsEntry Struct Reference

Public Member Functions
	StatisticsEntry (StringRef FN, StringRef TN, size_t NSP, size_t NPS, size_t RT)

Data Fields
StringRef	FunctionName
StringRef	TaskName
size_t	NumStartedPoints
size_t	NumProducedSummaries
size_t	RunningTime

---

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

• /builds/prismers/clearblue/include/Checker/Sailfish/SailfishChecker.h