diff options
| author | Clifford Wolf <clifford@clifford.at> | 2014-07-27 21:13:23 +0200 |
|---|---|---|
| committer | Clifford Wolf <clifford@clifford.at> | 2014-07-27 21:31:18 +0200 |
| commit | 8b0f50792c404d70ae91e623f80c4e7f06d39429 (patch) | |
| tree | 04064e624e03971675ea8c9fdb8d7ad906408f86 /tests/vloghtb/test_mapopt.sh | |
| parent | c4bdba78cb88df6628d975aad7a92c8cebc5d95f (diff) | |
| download | yosys-8b0f50792c404d70ae91e623f80c4e7f06d39429.tar.gz yosys-8b0f50792c404d70ae91e623f80c4e7f06d39429.tar.bz2 yosys-8b0f50792c404d70ae91e623f80c4e7f06d39429.zip | |
Added techmap -extern
Diffstat (limited to 'tests/vloghtb/test_mapopt.sh')
| -rw-r--r-- | tests/vloghtb/test_mapopt.sh | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/tests/vloghtb/test_mapopt.sh b/tests/vloghtb/test_mapopt.sh index ad8b3ef61..ba39adb31 100644 --- a/tests/vloghtb/test_mapopt.sh +++ b/tests/vloghtb/test_mapopt.sh @@ -6,6 +6,7 @@ source common.sh f=$1 n=$(basename ${f%.v}) -test_equiv mapopt "opt -fine; techmap; opt" "-set-def-inputs" $n $f +test_equiv mapopt_1 "opt -fine; techmap; opt" "-set-def-inputs" $n $f +test_autotest mapopt_2 $n $f -p "opt; techmap -extern; opt" exit 0 |