path: root/testsuite/synth/issue1238/testsuite.sh

#! /bin/sh

. ../../testenv.sh

synth_tb tri
synth_tb multiplexers_3

echo "Test successful"