. ../../testutils.sh

run DefaultSignal.idr 2> /dev/null
