import BasicPrelude
import Test.Tasty

tests :: TestTree
tests = testGroup "Tests"
  [
  ]

main :: IO ()
main = defaultMain tests