From: Ahmed Irfan <irfan@ubuntu.(none)>
Date: Mon, 20 Jan 2014 17:35:52 +0000 (+0100)
Subject: slice bug corrected
X-Git-Tag: yosys-0.2.0~146^2~7^2~2
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=aa3cb20e1ecb268ea2a663916518c311ceb60808;p=yosys.git

slice bug corrected
---

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;				 
 			}