smt-0.0.0.0: test/Main.hs

module Main where

import Test.SmallCheck
import Test.Tasty
import Test.Tasty.SmallCheck

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