diff options
| author | Clifford Wolf <clifford@clifford.at> | 2014-07-28 09:15:40 +0200 |
|---|---|---|
| committer | Clifford Wolf <clifford@clifford.at> | 2014-07-28 09:15:40 +0200 |
| commit | c469be883b80137c9d3d79287b72d05aaaa17128 (patch) | |
| tree | 4faf297e03c8f616feab3cd2ca76c214b1e98f2b /tests/vloghtb/test_mapopt.sh | |
| parent | 8b0f50792c404d70ae91e623f80c4e7f06d39429 (diff) | |
| download | yosys-c469be883b80137c9d3d79287b72d05aaaa17128.tar.gz yosys-c469be883b80137c9d3d79287b72d05aaaa17128.tar.bz2 yosys-c469be883b80137c9d3d79287b72d05aaaa17128.zip | |
Improvements in tests/vloghtb
Diffstat (limited to 'tests/vloghtb/test_mapopt.sh')
| -rw-r--r-- | tests/vloghtb/test_mapopt.sh | 7 |
1 files changed, 6 insertions, 1 deletions
diff --git a/tests/vloghtb/test_mapopt.sh b/tests/vloghtb/test_mapopt.sh index ba39adb31..61528c2b4 100644 --- a/tests/vloghtb/test_mapopt.sh +++ b/tests/vloghtb/test_mapopt.sh @@ -6,7 +6,12 @@ source common.sh f=$1 n=$(basename ${f%.v}) +mkdir -p log_test_mapopt +rm -f log_test_mapopt/$n.* + test_equiv mapopt_1 "opt -fine; techmap; opt" "-set-def-inputs" $n $f -test_autotest mapopt_2 $n $f -p "opt; techmap -extern; opt" +test_autotest mapopt_2 "proc; opt; techmap; opt" $n $f + +tail -n20 log_test_mapopt_1/$n.txt log_test_mapopt_2/$n.txt > log_test_mapopt/$n.txt exit 0 |