diff options
| author | Eddie Hung <eddie@fpgeh.com> | 2019-06-26 11:48:35 -0700 |
|---|---|---|
| committer | Eddie Hung <eddie@fpgeh.com> | 2019-06-26 11:48:35 -0700 |
| commit | c762be593042ed5d812a3a37d494a82565cbaad0 (patch) | |
| tree | 556ca9482e37ec09a7992c1f4ac20c5d2306d2ea /backends/btor/btor.cc | |
| parent | 8d8261c71fd34de7eb4cb5ae7bdb2592f33ed852 (diff) | |
| download | yosys-c762be593042ed5d812a3a37d494a82565cbaad0.tar.gz yosys-c762be593042ed5d812a3a37d494a82565cbaad0.tar.bz2 yosys-c762be593042ed5d812a3a37d494a82565cbaad0.zip | |
Instead of blocking wreduce on $mux, use -keepdc instead #1132
Diffstat (limited to 'backends/btor/btor.cc')
0 files changed, 0 insertions, 0 deletions