diff options
| author | Johann Glaser <Johann.Glaser@gmx.at> | 2014-02-05 16:03:02 +0100 |
|---|---|---|
| committer | Johann Glaser <Johann.Glaser@gmx.at> | 2014-02-05 16:03:02 +0100 |
| commit | 3c0b5139a19292b6a3172887b799e15dbe85a086 (patch) | |
| tree | 77f218f4f200634379f0de7ef1f81445077b29f2 /kernel | |
| parent | 667543de0b2a4103a7bfdaffad980ea86faf8e6b (diff) | |
| download | yosys-3c0b5139a19292b6a3172887b799e15dbe85a086.tar.gz yosys-3c0b5139a19292b6a3172887b799e15dbe85a086.tar.bz2 yosys-3c0b5139a19292b6a3172887b799e15dbe85a086.zip | |
be more verbose for select -assert-any and -assert-none
Diffstat (limited to 'kernel')
0 files changed, 0 insertions, 0 deletions