packages feed

zwirn-0.2.2.0: test/zwirn-lang/Main.hs

import Control.Monad (unless)
import Test.Tasty
import Test.Tasty.HUnit
import Zwirn.Language.Syntax

main :: IO ()
main = defaultMain tests

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

unitTests =
  testGroup
    "Unit tests"
    []