Merge pull request #48 from whitequark/add-proc_prune

Add proc_prune before explicit proc_init

Merge pull request #48 from whitequark/add-proc_prune
Add proc_prune before explicit proc_init
a7464350 · Miodrag Milanović · GitHub · 3cd49561 · c0788975 · a7464350
Unverified Commit a7464350 authored Jul 10, 2019 by Miodrag Milanović Committed by GitHub Jul 10, 2019
Showing with 6 additions and 1 deletions

backends/scripts/write_btor.ys
+1 -0

backends/scripts/write_btor_s.ys
+1 -0

backends/scripts/write_btor_v.ys
+2 -1

regression/scripts/issue_00444.ys
+1 -0

simple/scripts/opt_merge_share_all.ys
+1 -0

No files found.
--- a/backends/scripts/write_btor.ys
+++ b/backends/scripts/write_btor.ys
@@ -8,6 +8,7 @@ synth -top top
 write_btor btor1.btor
 design -reset
 read_verilog -sv ../top.v
+proc_prune
 proc_init
 proc_mux
 proc_dff

--- a/backends/scripts/write_btor_s.ys
+++ b/backends/scripts/write_btor_s.ys
@@ -7,6 +7,7 @@ synth -top top
 write_btor -s btor1.btor
 design -reset
 read_verilog -sv ../top.v
+proc_prune
 proc_init
 proc_mux
 proc_dff

--- a/backends/scripts/write_btor_v.ys
+++ b/backends/scripts/write_btor_v.ys
@@ -7,6 +7,7 @@ synth -top top
 write_btor -v btor1.btor
 design -reset
 read_verilog -sv ../top.v
+proc_prune
 proc_init
 proc_mux
 proc_dff
@@ -51,4 +52,4 @@ write_btor -v btor10.btor
 design -reset
 read_verilog  -sv ../top_clean.v
 synth -top top
-write_verilog synth.v 
+write_verilog synth.v
--- a/regression/scripts/issue_00444.ys
+++ b/regression/scripts/issue_00444.ys
 read_verilog -formal ../top.v
 hierarchy
+proc_prune
 proc_init
 proc_mux
 proc_dff

--- a/simple/scripts/opt_merge_share_all.ys
+++ b/simple/scripts/opt_merge_share_all.ys
 read_verilog -formal ../top.v
 hierarchy
+proc_prune
 proc_init
 proc_mux
 proc_dff