#!/bin/bash

OPTS="-t $*" # Verbose and show timing

echo "Hint: Use $0 -V for verbose mode."
case $OSTYPE in # Mac uses BSD time
darwin*)
    OPTS="-T $*"
    ;;
esac

./verify $OPTS sieve
./verify $OPTS fib
./verify $OPTS fib-async
./verify $OPTS fact
echo "Note: dinephile takes a long time to complete"
./verify $OPTS dinephil
./verify $OPTS jobsched
./verify $OPTS concsys
./verify $OPTS fanin
./verify $OPTS fanin-alt
./verify $OPTS mismatch
./verify $OPTS fixed
./verify $OPTS alt-bit
./verify $OPTS forselect
./verify $OPTS cond-recur
