#!/bin/sh
# script to execute tests for Curry

# test for basic language features
TESTLANG="testFunctional testInfinite testHigher testNarr testNondet testCase testLetRec testNonStrictUnif testFuncPattern"

# test for standard libraries
TESTLIBS="testPrelude testArray testCLPB testCombinatorial testDequeue testDynamic testFiniteMap testFlatCurryGoodies testFlatCurryXML testInteger testIO testIOExts testList testRedBlackTree testSort"

# execute all unit tests:
../bin/currytest -window $TESTLANG $TESTLIBS
