{-# OPTIONS_GHC -fno-warn-missing-signatures #-}
-- |
-- GUTD: The Grand Unified Test Driver.
import qualified Commands
import qualified Properties

main = Properties.main >> Commands.main