diff options
| author | Clifford Wolf <clifford@clifford.at> | 2018-12-18 19:59:29 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2018-12-18 19:59:29 +0100 |
| commit | 2d73e1b60a43f2a621b387768134b83054f59e89 (patch) | |
| tree | 613ccca3d1cfad1d36886867cdf8dfd7ed235347 /backends/btor/test_cells.sh | |
| parent | eddf075d934693471f77e92fb2cf687f69a59cb5 (diff) | |
| parent | abf5930a3325b8ae89f8cbb89a0f963e316c0889 (diff) | |
| download | yosys-2d73e1b60a43f2a621b387768134b83054f59e89.tar.gz yosys-2d73e1b60a43f2a621b387768134b83054f59e89.tar.bz2 yosys-2d73e1b60a43f2a621b387768134b83054f59e89.zip | |
Merge pull request #748 from makaimann/add-btor-ops
Add btor ops for $mul, $div, $mod and $concat
Diffstat (limited to 'backends/btor/test_cells.sh')
| -rwxr-xr-x[-rw-r--r--] | backends/btor/test_cells.sh | 0 |
1 files changed, 0 insertions, 0 deletions
diff --git a/backends/btor/test_cells.sh b/backends/btor/test_cells.sh index e0f1a0514..e0f1a0514 100644..100755 --- a/backends/btor/test_cells.sh +++ b/backends/btor/test_cells.sh |