diff options
| author | Clifford Wolf <clifford@clifford.at> | 2016-12-11 11:02:56 +0100 |
|---|---|---|
| committer | Clifford Wolf <clifford@clifford.at> | 2016-12-11 11:02:56 +0100 |
| commit | 71c47f13ed15d4635a408832d69f0cfb6b35443e (patch) | |
| tree | 15e98a55092bd2270f34f1083bc1fbc16f515202 /backends/btor | |
| parent | 5c96982522779fef5b63bcc16297e6633dafff03 (diff) | |
| download | yosys-71c47f13ed15d4635a408832d69f0cfb6b35443e.tar.gz yosys-71c47f13ed15d4635a408832d69f0cfb6b35443e.tar.bz2 yosys-71c47f13ed15d4635a408832d69f0cfb6b35443e.zip | |
Some minor CodingReadme changes in unit test section
Diffstat (limited to 'backends/btor')
0 files changed, 0 insertions, 0 deletions