svf-lib 1.0.1744 → 1.0.1746
This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
|
Binary file
|
|
@@ -294,8 +294,18 @@ public:
|
|
|
294
294
|
|
|
295
295
|
protected:
|
|
296
296
|
BugSet bugSet; // maintain bugs
|
|
297
|
+
double time; // time (sec)
|
|
298
|
+
std::string mem; // string memory (KB)
|
|
299
|
+
double coverage; // coverage (%)
|
|
297
300
|
|
|
298
301
|
public:
|
|
302
|
+
// set time, mem and coverage
|
|
303
|
+
void setStat(double time, std::string mem, double coverage)
|
|
304
|
+
{
|
|
305
|
+
this->time = time;
|
|
306
|
+
this->mem = mem;
|
|
307
|
+
this->coverage = coverage;
|
|
308
|
+
}
|
|
299
309
|
|
|
300
310
|
/*
|
|
301
311
|
* function: pass bug type (i.e., GenericBug::NEVERFREE) and eventStack as parameter,
|
|
Binary file
|
|
Binary file
|