tests :: TestTree
tests =
   testGroup "SAWCore"
   [ testGroup "SharedTerm" sharedTermTests
   , testGroup "Parser" parserTests
   , testGroup "Rewriter" rewriter_tests
   ]
tests :: TestTree
tests =
   testGroup "SAWCore"
   [ testGroup "SharedTerm" sharedTermTests
   , testGroup "Parser" parserTests
   , testGroup "Rewriter" rewriter_tests
   ]
tests =
   testGroup "SAWCore"
   [ testGroup "SharedTerm" sharedTermTests
   , testGroup "Parser" parserTests
   , testGroup "Rewriter" rewriter_tests
   ]