From: Ahmed Irfan <irfan@ubuntu.(none)>
Date: Tue, 11 Feb 2014 14:43:03 +0000 (+0100)
Subject: disabling splice command in the script
X-Git-Tag: yosys-0.2.0~18^2^2~1
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=45e468114a270f738e9e8d913221c7e0aae03141;p=yosys.git

disabling splice command in the script
---

diff --git a/backends/btor/btor.ys b/backends/btor/btor.ys
index e58db8a38..bcfd65cdd 100644
--- a/backends/btor/btor.ys
+++ b/backends/btor/btor.ys
@@ -1,5 +1,7 @@
 proc; 
-opt; opt_const -mux_undef; splice; opt;
+opt; opt_const -mux_undef; 
+#splice; 
+opt;
 rename -hide;;;
 #converting pmux to mux
 techmap -share_map pmux2mux.v;;
diff --git a/backends/btor/verilog2btor.sh b/backends/btor/verilog2btor.sh
index 6485b6db8..972b8dfbe 100755
--- a/backends/btor/verilog2btor.sh
+++ b/backends/btor/verilog2btor.sh
@@ -22,7 +22,9 @@ hierarchy -top $3;
 hierarchy -libdir $DIR; 
 hierarchy -check; 
 proc; 
-opt; opt_const -mux_undef; splice; opt;
+opt; opt_const -mux_undef; 
+#splice; 
+opt;
 rename -hide;;;
 techmap -share_map pmux2mux.v;;
 memory_dff -wr_only;