tests/vloghtb/test_share.sh

   1 #!/bin/bash
   2
   3 set -e
   4 source common.sh
   5
   6 f=$1
   7 n=$(basename ${f%.v})
   8
   9 test_equiv share "wreduce; share -aggressive" "-ignore_div_by_zero" $n $f
  10
  11 exit 0