diff options
| author | Clifford Wolf <clifford@clifford.at> | 2014-06-04 09:10:50 +0200 |
|---|---|---|
| committer | Clifford Wolf <clifford@clifford.at> | 2014-06-04 09:10:50 +0200 |
| commit | f9c1cd5edba5acb4d9b9dd287c7265111cf22087 (patch) | |
| tree | 4aaa54798de819a4a776a41efeb6e99f095473eb /backends/btor | |
| parent | 7020f7fc138ac9bad46f9f2b41150321f315f992 (diff) | |
| download | yosys-f9c1cd5edba5acb4d9b9dd287c7265111cf22087.tar.gz yosys-f9c1cd5edba5acb4d9b9dd287c7265111cf22087.tar.bz2 yosys-f9c1cd5edba5acb4d9b9dd287c7265111cf22087.zip | |
Improved error message for options after front-end filename arguments
Diffstat (limited to 'backends/btor')
0 files changed, 0 insertions, 0 deletions