1 files changed, 17 insertions, 0 deletions
diff --git a/tests/vloghtb/test_mapopt.sh b/tests/vloghtb/test_mapopt.sh
new file mode 100644
index 000000000..61528c2b4
--- /dev/null
+++ b/tests/vloghtb/test_mapopt.sh
@@ -0,0 +1,17 @@
+#!/bin/bash
+
+set -e
+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 "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