diff options
| author | Clifford Wolf <clifford@clifford.at> | 2017-07-07 11:52:25 +0200 |
|---|---|---|
| committer | Clifford Wolf <clifford@clifford.at> | 2017-07-07 11:52:25 +0200 |
| commit | 3c693b65613392b10e33d406698a25d058acde84 (patch) | |
| tree | 0509596a6d36346415f2dfa45609ab8982de9c27 /techlibs/xilinx/tests/bram2.sh | |
| parent | 8f7404f82c324bd4c7e88fa59fb3c5e1061ae402 (diff) | |
| download | yosys-3c693b65613392b10e33d406698a25d058acde84.tar.gz yosys-3c693b65613392b10e33d406698a25d058acde84.tar.bz2 yosys-3c693b65613392b10e33d406698a25d058acde84.zip | |
Change s/asserts/assertions/ in yosys-smtbmc log messages
Diffstat (limited to 'techlibs/xilinx/tests/bram2.sh')
0 files changed, 0 insertions, 0 deletions