module Main (main) where import Test.Hspec (hspec) import Test.Iris (irisSpec) main :: IO () main = hspec irisSpec