From a346c0bf2b0ed5278e0f86d4ef23a6a9d03eef40 Mon Sep 17 00:00:00 2001 From: Clifford Wolf Date: Thu, 6 Nov 2014 09:39:55 +0100 Subject: Made "cover" a compile-time option (disabled by default) --- passes/cmds/cover.cc | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) (limited to 'passes/cmds') diff --git a/passes/cmds/cover.cc b/passes/cmds/cover.cc index b8baaf3d8..6a70d1de9 100644 --- a/passes/cmds/cover.cc +++ b/passes/cmds/cover.cc @@ -128,7 +128,7 @@ struct CoverPass : public Pass { log("\n"); } -#ifdef COVER_ACTIVE +#ifdef YOSYS_ENABLE_COVER for (auto &it : get_coverage_data()) { if (!patterns.empty()) { for (auto &p : patterns) @@ -146,7 +146,7 @@ struct CoverPass : public Pass { for (auto f : out_files) fclose(f); - log_cmd_error("Coverage counters are only available in debug builds of Yosys for Linux.\n"); + log_cmd_error("This version of Yosys was not built with support for code coverage counters.\n"); #endif for (auto f : out_files) -- cgit v1.2.3