/tests/kind2-examples/
../
a_microwave.scade
a_mode_benchmark.scade
a_two_counters.scade