diff options
| author | David Shah <dave@ds0.me> | 2019-02-07 10:35:36 +0000 |
|---|---|---|
| committer | David Shah <dave@ds0.me> | 2019-02-07 10:35:36 +0000 |
| commit | a4515712cb4ebf62168583fae0f3d60418c803c6 (patch) | |
| tree | cb50f0842727297f4924791eb5cf4e675f0f7f74 /passes/sat | |
| parent | e112d2fbf5a31f00ef19e6d05f28fecc1e9c56b9 (diff) | |
| download | yosys-a4515712cb4ebf62168583fae0f3d60418c803c6.tar.gz yosys-a4515712cb4ebf62168583fae0f3d60418c803c6.tar.bz2 yosys-a4515712cb4ebf62168583fae0f3d60418c803c6.zip | |
fsm_opt: Fix runtime error for FSMs without a reset state
Signed-off-by: David Shah <dave@ds0.me>
Diffstat (limited to 'passes/sat')
0 files changed, 0 insertions, 0 deletions