summaryrefslogtreecommitdiff
path: root/tests/vloghtb/test_mapopt.sh
blob: 61528c2b4fd145b9e8efa94b2d5ba953fd188bbb (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
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