12 lines
156 B
Bash
12 lines
156 B
Bash
#!/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
|