matlab-0.3.0.0: test/SpecEngine.hs

module Main where

import Test.Engine (engineTests)

main :: IO ()
main = engineTests