From: Clifford Wolf <clifford@clifford.at>
Date: Thu, 24 Jul 2014 02:16:32 +0000 (+0200)
Subject: Added support for YOSYS_COVER_FILE env variable
X-Git-Tag: yosys-0.4~457
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=798f71362975c625f4e24b0c981b15b5684ab33d;p=yosys.git

Added support for YOSYS_COVER_FILE env variable
---

diff --git a/kernel/driver.cc b/kernel/driver.cc
index 4992686bd..9749ff305 100644
--- 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 4a0ac60f0..ca8e9b6d8 100644
--- 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;
 }