summaryrefslogtreecommitdiff
path: root/tests/vloghtb
diff options
context:
space:
mode:
authorClifford Wolf <clifford@clifford.at>2015-05-18 11:15:49 +0200
committerClifford Wolf <clifford@clifford.at>2015-05-18 11:15:49 +0200
commit6061b7bd58c2f528f33d1f3859f99a5d0babca21 (patch)
tree1990e9a839e0f8a2d3ce5d7ca05bda7ffabbe21a /tests/vloghtb
parent83499dc1ba14bc164991be0ee9bdf0ae0a7beff9 (diff)
bugfix in blif front-end
Diffstat (limited to 'tests/vloghtb')
-rw-r--r--tests/vloghtb/test_febe.sh6
1 files changed, 3 insertions, 3 deletions
diff --git a/tests/vloghtb/test_febe.sh b/tests/vloghtb/test_febe.sh
index 7756202c..482d44d9 100644
--- a/tests/vloghtb/test_febe.sh
+++ b/tests/vloghtb/test_febe.sh
@@ -6,8 +6,8 @@ source common.sh
f=$1
n=$(basename ${f%.v})
-test_febe vlog1 "synth" ".v" "write_verilog" "read_verilog" "-ignore_div_by_zero" $n $f
-test_febe vlog2 "synth -run coarse" ".v" "write_verilog" "read_verilog -icells" "-ignore_div_by_zero" $n $f
-test_febe blif "synth; splitnets -ports" ".blif" "write_blif -icells" "read_blif" "-ignore_div_by_zero" $n $f
+test_febe vlog1 "synth" ".v" "write_verilog" "read_verilog" "-ignore_div_by_zero" $n $f
+test_febe vlog2 "synth -run coarse" ".v" "write_verilog" "read_verilog -icells" "-ignore_div_by_zero" $n $f
+test_febe blif "synth; splitnets -ports" ".blif" "write_blif" "read_blif" "-ignore_div_by_zero" $n $f
exit 0