MiniAgda-0.2022.3.11: test/GoldplateTests.hs

import System.Exit     ( exitWith  )
import System.Process  ( system    )

main :: IO ()
main = exitWith =<< system ("goldplate test")