6 echo "Run './configure.sh' first !"
11 for run in `ls ADMLS/*/run.sh`
20 echo "Now you could program the tests by mean script 'program.sh'. For example:"
21 echo " ./program.sh st_examples/DynamicQualification"
23 echo "To stop the processes, you could execute:"
24 echo " pgrep ADML-[0-9] | xargs kill"