#!/bin/sh -e

. ../../../../scripts/utils.sh

for dir in choice initial state
do
  echo "[ $dir ]"
  (cd $dir; ./check-cpp "$@")
done