diff options
Diffstat (limited to 'tests')
| -rw-r--r-- | tests/vloghtb/test_febe.sh | 6 |
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 |