summaryrefslogtreecommitdiff
path: root/tests/vloghtb/test_mapopt.sh
diff options
context:
space:
mode:
authorClifford Wolf <clifford@clifford.at>2014-07-28 09:15:40 +0200
committerClifford Wolf <clifford@clifford.at>2014-07-28 09:15:40 +0200
commitc469be883b80137c9d3d79287b72d05aaaa17128 (patch)
tree4faf297e03c8f616feab3cd2ca76c214b1e98f2b /tests/vloghtb/test_mapopt.sh
parent8b0f50792c404d70ae91e623f80c4e7f06d39429 (diff)
Improvements in tests/vloghtb
Diffstat (limited to 'tests/vloghtb/test_mapopt.sh')
-rw-r--r--tests/vloghtb/test_mapopt.sh7
1 files changed, 6 insertions, 1 deletions
diff --git a/tests/vloghtb/test_mapopt.sh b/tests/vloghtb/test_mapopt.sh
index ba39adb3..61528c2b 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