diff options
author | Clifford Wolf <clifford@clifford.at> | 2019-05-28 16:42:50 +0200 |
---|---|---|
committer | Clifford Wolf <clifford@clifford.at> | 2019-05-28 16:42:50 +0200 |
commit | e3ebac44df5bcbd976c7f88f2192d69a337ac3bf (patch) | |
tree | c1eae03b6b69a96fa8d3861051c021a0ad16237f /backends/smt2 | |
parent | eaae0adf57f5f9328feeb0d2954a90abdbe38271 (diff) | |
download | yosys-e3ebac44df5bcbd976c7f88f2192d69a337ac3bf.tar.gz yosys-e3ebac44df5bcbd976c7f88f2192d69a337ac3bf.tar.bz2 yosys-e3ebac44df5bcbd976c7f88f2192d69a337ac3bf.zip |
Add actual wandwor test that is part of "make test"
Signed-off-by: Clifford Wolf <clifford@clifford.at>
Diffstat (limited to 'backends/smt2')
0 files changed, 0 insertions, 0 deletions