blob: 08a479924a928182a6e519af97acd472ab39d4ad (
plain)
1
2
3
4
5
6
7
8
9
10
11
|
module Main where
import Property
import Test.Tasty
import Test.VeriFuzz
import Unit
tests :: TestTree
tests = testGroup "Tests" [unitTests, propertyTests]
main = defaultMain tests
|