Merge pull request #3075 from YosysHQ/micko/verific_mem_size
authorClaire Xen <claire@clairexen.net>
Wed, 10 Nov 2021 19:24:00 +0000 (20:24 +0100)
committerGitHub <noreply@github.com>
Wed, 10 Nov 2021 19:24:00 +0000 (20:24 +0100)
commita6c90c9772c2377ad56999e0d57a2514a8fd33dc
tree91148723e25fde4205eec017ab9231f1ed5392c7
parent4699ddcc1b8e0726821d455bd4d98346d77dc150
parent15a35f5584977605e685d2a92126a337a474ae89
Merge pull request #3075 from YosysHQ/micko/verific_mem_size

No need to allocate more memory than used