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