github.com/YosysHQ.yosys
1
0
Fork 0
mirror of synced 2026-04-30 13:42:32 +00:00
Code Issues Releases Wiki Activity

Disabled cover() for non-linux builds

Browse Source
This commit is contained in:
Clifford Wolf
2014-07-25 12:22:37 +02:00
parent a8706b73a2
commit c4e4f79a2a
3 changed files with 8 additions and 4 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
kernel/driver.cc
View File

@@ -749,7 +749,7 @@ int main(int argc, char **argv)
delete yosys_design;
yosys_design = NULL;
#ifndef NDEBUG
#ifdef COVER_ACTIVE
if (getenv("YOSYS_COVER_DIR") || getenv("YOSYS_COVER_FILE"))
{
char filename_buffer[4096];

3
kernel/log.h
View File

@@ -75,7 +75,8 @@ void log_cell(RTLIL::Cell *cell, std::string indent = "");
// This is the magic behind the code coverage counters
// ---------------------------------------------------
#ifndef NDEBUG
#if defined(__linux__) && !defined(NDEBUG)
#define COVER_ACTIVE
#define cover(_id) do { \
static CoverData __d __attribute__((section("yosys_cover_list"), aligned(1))) = { __FILE__, __FUNCTION__, _id, __LINE__, 0 }; \