#! /bin/sh . ../../testenv.sh synth_tb modulo_test echo "Test successful"