#!/bin/bash

(echo -n "simple.dprog" ; ./run-simple-tests.pl	< ./simple.dprog) \
&& \
(echo -n "range.dprog" ; ./run-rangecheck-tests.pl < ./range.dprog) \
&& \
(echo -n "typecheck.dprog" ; ./run-typecheck-tests.pl < ./typecheck.dprog) \
&& \
(echo -n "declarations.dprog" ; ./run-decl-tests.pl < ./declarations.dprog) \
&& \
(echo -n "strict-decl.dprog" ; ./run-decl-tests.pl < ./strict-decl.dprog) \
&& \
(echo -n "codegen.dprog" ; ./run-codegen-tests.pl < ./codegen.dprog) \
&& \
(echo -n "functions.dprog" ; ./run-codegen-tests.pl < ./functions.dprog) #\