Proper-0.4.0.0: test/Main.hs

module Main(main) where

import Proper.BDDTests
import Proper.CNFTests
import Proper.LexerTests
import Proper.ParserTests
import Proper.SentenceTests

main = do
  allSentenceTests
  allCNFTests
  allLexerTests
  allParserTests
  allBDDTests