mirrors/yosys
3
0
Fork 0
mirror of https://github.com/YosysHQ/yosys synced 2025-10-31 03:32:29 +00:00
Code Activity

Added support for YOSYS_COVER_FILE env variable

Browse source
This commit is contained in:
Clifford Wolf 2014-07-24 04:16:32 +02:00
parent 1b0d5fc22d
commit 798f713629
2 changed files with 12 additions and 3 deletions
Download patch file Download diff file Expand all files Collapse all files

13
kernel/driver.cc
View file

@ -750,11 +750,18 @@ int main(int argc, char **argv)
yosys_design = NULL; yosys_design = NULL;
#ifndef NDEBUG #ifndef NDEBUG
if (getenv("YOSYS_COVER_DIR")) if (getenv("YOSYS_COVER_DIR") || getenv("YOSYS_COVER_FILE"))
{ {
char filename_buffer[4096]; char filename_buffer[4096];
snprintf(filename_buffer, 4096, "%s/yosys_cover_%d_XXXXXX.txt", getenv("YOSYS_COVER_DIR"), getpid()); FILE *f;
FILE *f = fdopen(mkstemps(filename_buffer, 4), "w");
if (getenv("YOSYS_COVER_DIR")) {
snprintf(filename_buffer, 4096, "%s/yosys_cover_%d_XXXXXX.txt", getenv("YOSYS_COVER_DIR"), getpid());
f = fdopen(mkstemps(filename_buffer, 4), "w");
} else {
snprintf(filename_buffer, 4096, "%s", getenv("YOSYS_COVER_FILE"));
f = fopen(filename_buffer, "w");
}
if (f == NULL) if (f == NULL)
log_error("Can't create coverage file `%s'.\n", filename_buffer); log_error("Can't create coverage file `%s'.\n", filename_buffer);

2
kernel/rtlil.cc
View file

@ -1947,6 +1947,7 @@ bool RTLIL::SigSpec::operator <(const RTLIL::SigSpec &other) const
return chunks_[i] < other.chunks_[i]; return chunks_[i] < other.chunks_[i];
} }
cover("kernel.rtlil.sigspec.comp_lt.equal");
return false; return false;
} }
@ -1978,6 +1979,7 @@ bool RTLIL::SigSpec::operator ==(const RTLIL::SigSpec &other) const
return false; return false;
} }
cover("kernel.rtlil.sigspec.comp_eq.equal");
return true; return true;
} }