diff options
| author | clairexen <claire@symbioticeda.com> | 2020-08-22 12:28:39 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-08-22 12:28:39 +0200 |
| commit | 0f81e2789855367e7aa75b00b7d42aa4f5af3d20 (patch) | |
| tree | 1d7b2145b8d7ecc21e2fc30fc87b03ab2af199cb /tests/verilog/run-test.sh | |
| parent | dc20d9e842c62a86d5a4fd74b63dbcb11c6c288f (diff) | |
| parent | 91682d189e55923114726b797968ef939777000c (diff) | |
| download | yosys-0f81e2789855367e7aa75b00b7d42aa4f5af3d20.tar.gz yosys-0f81e2789855367e7aa75b00b7d42aa4f5af3d20.tar.bz2 yosys-0f81e2789855367e7aa75b00b7d42aa4f5af3d20.zip | |
Merge pull request #2349 from nmoroze/smt2-bugfix
Ensure smt2 comments are associated with accessors
Diffstat (limited to 'tests/verilog/run-test.sh')
0 files changed, 0 insertions, 0 deletions