diff options
author | Claire Xen <claire@clairexen.net> | 2021-11-10 20:24:00 +0100 |
---|---|---|
committer | GitHub <noreply@github.com> | 2021-11-10 20:24:00 +0100 |
commit | a6c90c9772c2377ad56999e0d57a2514a8fd33dc (patch) | |
tree | 91148723e25fde4205eec017ab9231f1ed5392c7 /tests | |
parent | 4699ddcc1b8e0726821d455bd4d98346d77dc150 (diff) | |
parent | 15a35f5584977605e685d2a92126a337a474ae89 (diff) | |
download | yosys-a6c90c9772c2377ad56999e0d57a2514a8fd33dc.tar.gz yosys-a6c90c9772c2377ad56999e0d57a2514a8fd33dc.tar.bz2 yosys-a6c90c9772c2377ad56999e0d57a2514a8fd33dc.zip |
Merge pull request #3075 from YosysHQ/micko/verific_mem_size
No need to allocate more memory than used
Diffstat (limited to 'tests')
0 files changed, 0 insertions, 0 deletions