#!/usr/bin/env 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