refinery-0.4.0.0: test/Spec.hs

module Main where

import Test.Hspec

import Spec.PropertyTests
import Spec.STLC

main :: IO ()
main = hspec $ do
    propertyTests
    stlcTests