diff options
| author | Clifford Wolf <clifford@clifford.at> | 2017-09-14 22:36:25 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2017-09-14 22:36:25 +0200 |
| commit | ce78717e3601012e95cf786b87b281e55a3a8391 (patch) | |
| tree | 22f91aab0f0b5188a67afc32e813de787b5bb3f6 /tests/sat | |
| parent | 498526cc0beef5f3d5da88f91806eb043551a549 (diff) | |
| parent | ab1bf8d661d3edd865c1b425535b81e8fba9d58d (diff) | |
| download | yosys-ce78717e3601012e95cf786b87b281e55a3a8391.tar.gz yosys-ce78717e3601012e95cf786b87b281e55a3a8391.tar.bz2 yosys-ce78717e3601012e95cf786b87b281e55a3a8391.zip | |
Merge pull request #412 from azonenberg/reduce-fixes
extract_reduce: Fix segfault on "undriven" inputs
Diffstat (limited to 'tests/sat')
0 files changed, 0 insertions, 0 deletions