diff options
| author | Jim Lawson <ucbjrl@berkeley.edu> | 2019-02-19 14:35:15 -0800 |
|---|---|---|
| committer | Jim Lawson <ucbjrl@berkeley.edu> | 2019-02-19 14:35:15 -0800 |
| commit | 5c4a72c43ef61420b4b099d87949b0fdba0f4b55 (patch) | |
| tree | 91a718281febfe383312d7598fa0c58f0065ab6f /passes/sat | |
| parent | 5c504c5ae676488f7e0b53f827f189fa7cacb2c8 (diff) | |
| download | yosys-5c4a72c43ef61420b4b099d87949b0fdba0f4b55.tar.gz yosys-5c4a72c43ef61420b4b099d87949b0fdba0f4b55.tar.bz2 yosys-5c4a72c43ef61420b4b099d87949b0fdba0f4b55.zip | |
Fix normal (non-array) hierarchy -auto-top.
Add simple test.
Diffstat (limited to 'passes/sat')
0 files changed, 0 insertions, 0 deletions