MiniAgda-0.2025.7.23: test/GoldplateTests.hs

import System.Environment ( getArgs  )
import System.Exit        ( exitWith  )
import System.Process     ( rawSystem )

main :: IO ()
main = exitWith =<< rawSystem "goldplate" . ("test" :) =<< getArgs