-rwxr-xr-x 329 nttcompiler-20220411/scripts/verify-inv
#!/bin/bash

n=$1
q=$2
b=$3

unroll `which ${n}-${q}-inv-noio` int16 f ${n} -- int16 f ${n} \
| doublecheck ${n} ${n}-${q}-inv \
| unroll2opt \
| doublecheck ${n} ${n}-${q}-inv \
| opt2range ${q} -${b} ${b} \
| doublecheck ${n} ${n}-${q}-inv -${b} ${b} \
| range2linear ${q} \
| cmp - <(spec-interp ${n} ${q} `${n}-${q}-points`)