-- QuickCheckTests
module QCTests where

import System
import Test.QuickCheck

import Tests
import DFA.DFA
import HFA

--load this module in an interpreter, and then run "runTests" and it will run all tests located in this
-- file which are prefixed with the word "prop_"
runTests = system ( "./quickCheck +names QCTests.hs | egrep 'prop_.*' " 
		 ++ "| sed -e 's/Hugs.Base> //' && rm -f hugsin")


--Properties--