Added support for YOSYS_COVER_FILE env variable

diff --git a/kernel/driver.cc b/kernel/driver.cc
index 4992686bd97d39c0710f2c024a82b2d130e23963..9749ff305aa5c7e66a6a6a0647b0ecaecd358181 100644 (file)
--- a/kernel/driver.cc
+++ b/kernel/driver.cc
@@ -750,11 +750,18 @@ int main(int argc, char **argv)
        yosys_design = NULL;
 
 #ifndef NDEBUG
-       if (getenv("YOSYS_COVER_DIR"))
+       if (getenv("YOSYS_COVER_DIR") || getenv("YOSYS_COVER_FILE"))
        {
                char filename_buffer[4096];
-               snprintf(filename_buffer, 4096, "%s/yosys_cover_%d_XXXXXX.txt", getenv("YOSYS_COVER_DIR"), getpid());
-               FILE *f = fdopen(mkstemps(filename_buffer, 4), "w");
+               FILE *f;
+
+               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)
                        log_error("Can't create coverage file `%s'.\n", filename_buffer);

diff --git a/kernel/rtlil.cc b/kernel/rtlil.cc
index 4a0ac60f0998f3bca68d2bb32ce976d4f59bc457..ca8e9b6d884762f85e4f450c0d13d7e1894e452b 100644 (file)
--- a/kernel/rtlil.cc
+++ b/kernel/rtlil.cc
@@ -1947,6 +1947,7 @@ bool RTLIL::SigSpec::operator <(const RTLIL::SigSpec &other) const
                        return chunks_[i] < other.chunks_[i];
                }
 
+       cover("kernel.rtlil.sigspec.comp_lt.equal");
        return false;
 }
 
@@ -1978,6 +1979,7 @@ bool RTLIL::SigSpec::operator ==(const RTLIL::SigSpec &other) const
                        return false;
                }
 
+       cover("kernel.rtlil.sigspec.comp_eq.equal");
        return true;
 }