diff options
| author | Clifford Wolf <clifford@clifford.at> | 2014-07-24 15:05:05 +0200 |
|---|---|---|
| committer | Clifford Wolf <clifford@clifford.at> | 2014-07-24 15:05:05 +0200 |
| commit | 7679000673f7a5c07037dfd3373162cbbcdb0624 (patch) | |
| tree | b8e9d2c112efbafa6f2cff69ac101d5e5d33b661 /kernel/driver.cc | |
| parent | 22ede43b3f5016784b2e22c0ea95b7f718d7598e (diff) | |
| download | yosys-7679000673f7a5c07037dfd3373162cbbcdb0624.tar.gz yosys-7679000673f7a5c07037dfd3373162cbbcdb0624.tar.bz2 yosys-7679000673f7a5c07037dfd3373162cbbcdb0624.zip | |
Now using a dedicated ELF section for all coverage counters
Diffstat (limited to 'kernel/driver.cc')
| -rw-r--r-- | kernel/driver.cc | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/kernel/driver.cc b/kernel/driver.cc index 9749ff305..64165737e 100644 --- a/kernel/driver.cc +++ b/kernel/driver.cc @@ -760,7 +760,7 @@ int main(int argc, char **argv) f = fdopen(mkstemps(filename_buffer, 4), "w"); } else { snprintf(filename_buffer, 4096, "%s", getenv("YOSYS_COVER_FILE")); - f = fopen(filename_buffer, "w"); + f = fopen(filename_buffer, "a+"); } if (f == NULL) @@ -769,11 +769,11 @@ int main(int argc, char **argv) log("<writing coverage file \"%s\">\n", filename_buffer); std::map<std::string, std::pair<std::string, int>> coverage_data; - for (CoverAgent *p = CoverAgent::first_cover_agent; p; p = p->next_cover_agent) { + for (CoverData *p = __start_yosys_cover_list; p != __stop_yosys_cover_list; p++) { if (coverage_data.count(p->id)) log("WARNING: found duplicate coverage id \"%s\".\n", p->id); coverage_data[p->id].first = stringf("%s:%d:%s", p->file, p->line, p->func); - coverage_data[p->id].second += p->ticks; + coverage_data[p->id].second += p->counter; } for (auto &it : coverage_data) |