svf-lib 1.0.1746 → 1.0.1748
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
|
|
Binary file
|
|
Binary file
|
|
@@ -293,8 +293,18 @@ public:
|
|
|
293
293
|
|
|
294
294
|
protected:
|
|
295
295
|
BugSet bugSet; // maintain bugs
|
|
296
|
+
double time; // time (sec)
|
|
297
|
+
std::string mem; // string memory (KB)
|
|
298
|
+
double coverage; // coverage (%)
|
|
296
299
|
|
|
297
300
|
public:
|
|
301
|
+
// set time, mem and coverage
|
|
302
|
+
void setStat(double time, std::string mem, double coverage)
|
|
303
|
+
{
|
|
304
|
+
this->time = time;
|
|
305
|
+
this->mem = mem;
|
|
306
|
+
this->coverage = coverage;
|
|
307
|
+
}
|
|
298
308
|
|
|
299
309
|
/*
|
|
300
310
|
* function: pass bug type (i.e., GenericBug::NEVERFREE) and eventStack as parameter,
|