mirrors/yosys
3
0
Fork 0
mirror of https://github.com/YosysHQ/yosys synced 2025-06-06 06:03:23 +00:00
Code Activity

Added cover() API

Browse source
This commit is contained in:
Clifford Wolf 2014-07-24 03:48:38 +02:00
parent b31762d158
commit 6b1018314c
2 changed files with 35 additions and 0 deletions
Download patch file Download diff file Expand all files Collapse all files

2
kernel/log.cc
View file

@ -29,6 +29,8 @@
#include <vector>
#include <list>
CoverAgent *CoverAgent::first_cover_agent = NULL;
std::vector<FILE*> log_files;
FILE *log_errfile = NULL;
bool log_time = false;