diff options
| author | Maciej Kurc <mkurc@antmicro.com> | 2019-06-03 09:12:51 +0200 |
|---|---|---|
| committer | Maciej Kurc <mkurc@antmicro.com> | 2019-06-03 09:25:20 +0200 |
| commit | 5739cf52650ccb3627868d9c9d7e02888efad12b (patch) | |
| tree | cb3e467303121061eeff62393a3c45bf76c03860 /backends/smt2/smt2.cc | |
| parent | a6cadf6318f4eff6197d6c6f0e052c2417689f38 (diff) | |
| download | yosys-5739cf52650ccb3627868d9c9d7e02888efad12b.tar.gz yosys-5739cf52650ccb3627868d9c9d7e02888efad12b.tar.bz2 yosys-5739cf52650ccb3627868d9c9d7e02888efad12b.zip | |
Added tests for attributes
Signed-off-by: Maciej Kurc <mkurc@antmicro.com>
Diffstat (limited to 'backends/smt2/smt2.cc')
0 files changed, 0 insertions, 0 deletions