{-# LANGUAGE ImportQualifiedPost #-}
module Main where

import Test.Tasty

import Tests.C qualified


main :: IO ()
main = defaultMain $
  testGroup "Tests"
    [Tests.C.tests]