From: Miodrag Milanović Date: Wed, 30 Mar 2022 15:29:40 +0000 (+0200) Subject: Merge pull request #3259 from YosysHQ/micko/verific_valgrind X-Git-Tag: yosys-0.16~12 X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=18fb73fd89f492fd285ff379b12082c4b8b68d4a;p=yosys.git Merge pull request #3259 from YosysHQ/micko/verific_valgrind Fix valgrind tests when using verific --- 18fb73fd89f492fd285ff379b12082c4b8b68d4a