-- SPDX-FileCopyrightText: 2017-2021 
--
-- SPDX-License-Identifier: AGPL-3.0-or-later

module Main where

import Test.Tasty
import QuickCheck

main :: IO ()
main =
  defaultMain $
  testGroup "Relotophile"
   [ quickchecks
   ]