#! @BASH@
if [ x@EXEEXT@ = x ] ; then
#  exenv="libtool --mode=execute valgrind"
  exenv=$SG_TEST_EXENV
else
  exenv=wine
fi

exec $exenv ./saturate_simulator@EXEEXT@ @top_srcdir@/examples/msg/small_platform.xml @srcdir@/saturate_deployment.xml $@