diff options
| author | whitequark <whitequark@whitequark.org> | 2021-07-17 14:23:57 +0000 |
|---|---|---|
| committer | whitequark <whitequark@whitequark.org> | 2021-07-17 14:23:57 +0000 |
| commit | 4aa65f406f3f793978278454fe8d8000a442e2f2 (patch) | |
| tree | 4b1bd5b3058a53bec7a71d3a38a1d16a29b67f2b /backends/btor | |
| parent | 2db41375141dd8098edac134e09b962a5b0821ab (diff) | |
| download | yosys-4aa65f406f3f793978278454fe8d8000a442e2f2.tar.gz yosys-4aa65f406f3f793978278454fe8d8000a442e2f2.tar.bz2 yosys-4aa65f406f3f793978278454fe8d8000a442e2f2.zip | |
cxxrtl: treat internal wires used only for debug as constants.
Fixes #2739 (again).
Diffstat (limited to 'backends/btor')
0 files changed, 0 insertions, 0 deletions