#!/bin/bash

set -e

cargo build

for file in examples/test_*.csn
do
  echo "--- $file ---"
  target/debug/launcher "$file"
done