diff options
| author | Clifford Wolf <clifford@clifford.at> | 2019-06-28 10:30:31 +0200 |
|---|---|---|
| committer | David Shah <dave@ds0.me> | 2019-07-09 18:44:57 +0100 |
| commit | ef0823690c386c405fdd0ca2a3f45af8788a19aa (patch) | |
| tree | a23c0f4cc916a688aace6d36aefb3a13193e6fb2 /tests/sat | |
| parent | 43069e9eb91bf76164e80d6ea65443bd05567d64 (diff) | |
| download | yosys-ef0823690c386c405fdd0ca2a3f45af8788a19aa.tar.gz yosys-ef0823690c386c405fdd0ca2a3f45af8788a19aa.tar.bz2 yosys-ef0823690c386c405fdd0ca2a3f45af8788a19aa.zip | |
Merge pull request #1146 from gsomlo/gls-test-abc-ext
tests: use optional ABCEXTERNAL when specified
Diffstat (limited to 'tests/sat')
0 files changed, 0 insertions, 0 deletions