tests/vloghtb/test_mapopt.sh

   1 #!/bin/bash
   2
   3 set -e
   4 source common.sh
   5
   6 f=$1
   7 n=$(basename ${f%.v})
   8
   9 mkdir -p log_test_mapopt
  10 rm -f log_test_mapopt/$n.*
  11
  12 test_equiv mapopt_1 "opt -fine; techmap; opt" "-set-def-inputs" $n $f
  13 test_autotest mapopt_2 "proc; opt; techmap; opt" $n $f
  14
  15 tail -n20 log_test_mapopt_1/$n.txt log_test_mapopt_2/$n.txt > log_test_mapopt/$n.txt
  16
  17 exit 0