11 lines
148 B
Bash
11 lines
148 B
Bash
#!/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
|