1 2 3 4 5 6 7 8 9 10
#! /bin/sh . ../../testenv.sh synth_only repro1 synth_only repro2 synth_only bug synth_only bug2 echo "Test successful"