diff options
| author | R. Ou <rqou@robertou.com> | 2020-02-17 00:11:06 -0800 |
|---|---|---|
| committer | R. Ou <rqou@robertou.com> | 2020-02-17 03:08:52 -0800 |
| commit | 508f1ff6a168707ea1355e580f46f023d0336b91 (patch) | |
| tree | a38182d52c3cfc4744d187e568f7ba6f68367b35 /tests/sat | |
| parent | 7b922c0d894fffa978b099da1ce19d4907346861 (diff) | |
| download | yosys-508f1ff6a168707ea1355e580f46f023d0336b91.tar.gz yosys-508f1ff6a168707ea1355e580f46f023d0336b91.tar.bz2 yosys-508f1ff6a168707ea1355e580f46f023d0336b91.zip | |
extract_counter: Allow forbidding async reset
Diffstat (limited to 'tests/sat')
0 files changed, 0 insertions, 0 deletions