diff options
| author | Eddie Hung <eddie@fpgeh.com> | 2019-06-28 14:18:56 -0700 |
|---|---|---|
| committer | Eddie Hung <eddie@fpgeh.com> | 2019-06-28 14:56:22 -0700 |
| commit | 0ec7c09756a84d123745a381881b9e9803da210d (patch) | |
| tree | a8d2b458d351eb5e6c7e76077d86aa39e8e48075 /backends/btor | |
| parent | b3f162e94e61f739b84d8c6b31f203119805b2fb (diff) | |
| download | yosys-0ec7c09756a84d123745a381881b9e9803da210d.tar.gz yosys-0ec7c09756a84d123745a381881b9e9803da210d.tar.bz2 yosys-0ec7c09756a84d123745a381881b9e9803da210d.zip | |
autotest.sh to define _AUTOTB when test_autotb
Diffstat (limited to 'backends/btor')
0 files changed, 0 insertions, 0 deletions