mirrors/yosys
3
0
Fork 0
mirror of https://github.com/YosysHQ/yosys synced 2025-10-03 14:33:57 +00:00
Code Activity

Be less aggressive with running design->check()

Browse source 
Signed-off-by: Clifford Wolf <clifford@clifford.at>
This commit is contained in:
Clifford Wolf 2019-08-06 19:21:37 +02:00
parent a4b59de5d4
commit 95a6582f34
3 changed files with 17 additions and 9 deletions
Download patch file Download diff file Expand all files Collapse all files

6
kernel/driver.cc
View file

@ -522,6 +522,12 @@ int main(int argc, char **argv)
if (!backend_command.empty())
run_backend(output_filename, backend_command);
yosys_design->check();
for (auto it : saved_designs)
it.second->check();
for (auto it : pushed_designs)
it->check();
if (!depsfile.empty())
{
FILE *f = fopen(depsfile.c_str(), "wt");