diff options
| author | N. Engelhardt <nak@symbioticeda.com> | 2020-06-04 16:24:16 +0200 |
|---|---|---|
| committer | N. Engelhardt <nak@symbioticeda.com> | 2020-06-04 16:24:16 +0200 |
| commit | 82798ae57512fe410494821ca2d177116b3a3c63 (patch) | |
| tree | dc302ba033b7fb6e648ed6808aab0ced7cc76a40 /backends/cxxrtl/cxxrtl_capi.h | |
| parent | 5e8a9c61cd0ae2127fb1c33b8a4c9c798573cafc (diff) | |
| download | yosys-82798ae57512fe410494821ca2d177116b3a3c63.tar.gz yosys-82798ae57512fe410494821ca2d177116b3a3c63.tar.bz2 yosys-82798ae57512fe410494821ca2d177116b3a3c63.zip | |
btor backend: make not printing internal names default
Diffstat (limited to 'backends/cxxrtl/cxxrtl_capi.h')
0 files changed, 0 insertions, 0 deletions