aboutsummaryrefslogtreecommitdiffstats
path: root/tests/vloghtb/test_share.sh
blob: 67cfe44e8dec0deb15f09ecee108e8a18f7ee70f (plain)
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 share "wreduce; share -aggressive" "-ignore_div_by_zero" $n $f

exit 0