Merge pull request #3259 from YosysHQ/micko/verific_valgrind
authorMiodrag Milanović <mmicko@gmail.com>
Wed, 30 Mar 2022 15:29:40 +0000 (17:29 +0200)
committerGitHub <noreply@github.com>
Wed, 30 Mar 2022 15:29:40 +0000 (17:29 +0200)
commit18fb73fd89f492fd285ff379b12082c4b8b68d4a
tree5bdccd64dff79b97c3628da81e898dbe96129f89
parent0921e5b9a40370cb09ee419d12d0eecc40d1adec
parentbbf65702a1859d7216f71e1df1193dca6c49cabf
Merge pull request #3259 from YosysHQ/micko/verific_valgrind

Fix valgrind tests when using verific