diff options
| author | N. Engelhardt <nak@yosyshq.com> | 2022-02-04 18:23:12 +0100 |
|---|---|---|
| committer | N. Engelhardt <nak@yosyshq.com> | 2022-02-22 17:00:10 +0100 |
| commit | dc739362c7e0c0d7befe2a5dc2866aef31ca5a20 (patch) | |
| tree | b3c60a9f8c52f22e7c11f9916473a1c2e2ea0c3d /tests/arch | |
| parent | bf85dfee5e0cceaed8f6f6782afe2d1803039e6a (diff) | |
| download | yosys-dc739362c7e0c0d7befe2a5dc2866aef31ca5a20.tar.gz yosys-dc739362c7e0c0d7befe2a5dc2866aef31ca5a20.tar.bz2 yosys-dc739362c7e0c0d7befe2a5dc2866aef31ca5a20.zip | |
print cell name for properties in yosys-smtbmc
Diffstat (limited to 'tests/arch')
0 files changed, 0 insertions, 0 deletions