From 668306d00f47989d1f66d139351e63fe2465961c Mon Sep 17 00:00:00 2001
From: Clifford Wolf <clifford@clifford.at>
Date: Mon, 21 Jul 2014 14:08:13 +0200
Subject: Various improvements in test/vloghtb

---
 tests/vloghtb/test_mapopt.sh | 11 +++++++++++
 1 file changed, 11 insertions(+)
 create mode 100644 tests/vloghtb/test_mapopt.sh

(limited to 'tests/vloghtb/test_mapopt.sh')

diff --git a/tests/vloghtb/test_mapopt.sh b/tests/vloghtb/test_mapopt.sh
new file mode 100644
index 00000000..9099e2b7
--- /dev/null
+++ b/tests/vloghtb/test_mapopt.sh
@@ -0,0 +1,11 @@
+#!/bin/bash
+
+set -e
+source common.sh
+
+f=$1
+n=$(basename ${f%.v})
+
+test_equiv mapopt "opt; techmap; opt" "-set-def-inputs" $n $f
+
+exit 0
-- 
cgit v1.2.3