diff options
| author | Clifford Wolf <clifford@clifford.at> | 2014-09-30 19:16:40 +0200 |
|---|---|---|
| committer | Clifford Wolf <clifford@clifford.at> | 2014-09-30 19:16:40 +0200 |
| commit | 2ee03f5da42e03cc2e5e17b8394ed4f0d24cf21b (patch) | |
| tree | 040e136e1484f9f46e4ab2b623fcd1fd3fce1e32 /libs/ezsat | |
| parent | 0b8cfbc6fde8e7500c5df38c74e1da2d74e588bd (diff) | |
| download | yosys-2ee03f5da42e03cc2e5e17b8394ed4f0d24cf21b.tar.gz yosys-2ee03f5da42e03cc2e5e17b8394ed4f0d24cf21b.tar.bz2 yosys-2ee03f5da42e03cc2e5e17b8394ed4f0d24cf21b.zip | |
set "keep" on modules with $assert cells in "hierarchy"
Diffstat (limited to 'libs/ezsat')
0 files changed, 0 insertions, 0 deletions