diff options
| author | Miodrag Milanovic <mmicko@gmail.com> | 2022-03-11 15:11:14 +0100 |
|---|---|---|
| committer | Miodrag Milanovic <mmicko@gmail.com> | 2022-03-11 15:11:14 +0100 |
| commit | b72c779204120d53895d895d3599b4c87fc2f687 (patch) | |
| tree | d70e0d7d337541900020696c099b20152b70d7ee /backends/btor/btor.cc | |
| parent | d340f302f6255b6aedcf8351a6374b34889edbbc (diff) | |
| download | yosys-b72c779204120d53895d895d3599b4c87fc2f687.tar.gz yosys-b72c779204120d53895d895d3599b4c87fc2f687.tar.bz2 yosys-b72c779204120d53895d895d3599b4c87fc2f687.zip | |
Support cell name in btor witness file
Diffstat (limited to 'backends/btor/btor.cc')
0 files changed, 0 insertions, 0 deletions