tests/vloghtb/test_mapopt.sh


1
2
3
4
5
6
7
8
9
10
11

#!/bin/bash

set -e
source common.sh

f=$1
n=$(basename ${f%.v})

test_equiv mapopt "opt -fine; techmap; opt" "-set-def-inputs" $n $f

exit 0