diff options
| author | Jack Koenig | 2017-11-16 13:33:22 -0800 |
|---|---|---|
| committer | GitHub | 2017-11-16 13:33:22 -0800 |
| commit | 4429e2112aa958acab2ab43b0bf1d4c43becb50e (patch) | |
| tree | f6b81113809c267688257aa2e9012640625dd97d /src | |
| parent | 7d86a35e19519d92dc436c07359d5120b44b5a85 (diff) | |
Make Yosys equivalence check more robust (#686)
Also let Travis know that equivalence checks can take a while
Diffstat (limited to 'src')
0 files changed, 0 insertions, 0 deletions