#! /bin/sh
for a in src/examples/test-*.rla; do
   echo -n "$a: ";
   ./rosella "$a";
done