diff options
| author | Ahmed Irfan <irfan@ubuntu.(none)> | 2014-01-20 18:35:52 +0100 |
|---|---|---|
| committer | Ahmed Irfan <irfan@ubuntu.(none)> | 2014-01-20 18:35:52 +0100 |
| commit | aa3cb20e1ecb268ea2a663916518c311ceb60808 (patch) | |
| tree | 0e82ada971144f2072d0ee594256c666cb0bb634 | |
| parent | c347f2825f150451e6fb82d3c1d65015cd5405d8 (diff) | |
| download | yosys-aa3cb20e1ecb268ea2a663916518c311ceb60808.tar.gz yosys-aa3cb20e1ecb268ea2a663916518c311ceb60808.tar.bz2 yosys-aa3cb20e1ecb268ea2a663916518c311ceb60808.zip | |
slice bug corrected
| -rw-r--r-- | backends/btor/btor.cc | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/backends/btor/btor.cc b/backends/btor/btor.cc index 8377b2591..7e36db9fc 100644 --- a/backends/btor/btor.cc +++ b/backends/btor/btor.cc @@ -275,7 +275,7 @@ struct BtorDumper assert(wire_line_num>0); ++line_num; str = stringf("%d slice %d %d %d %d;2", line_num, chunk->width, wire_line_num, - chunk->wire->width - chunk->offset - 1, chunk->wire->width - chunk->offset - chunk->width); + chunk->width + chunk->offset - 1, chunk->offset); fprintf(f, "%s\n", str.c_str()); l = line_num; } |