{-# OPTIONS_GHC -fno-warn-orphans #-}

module Futhark.IR.PropTests
  ( tests,
  )
where

import Futhark.IR.Prop.RearrangeTests qualified
import Futhark.IR.Prop.ReshapeTests qualified
import Test.Tasty

tests :: TestTree
tests :: TestTree
tests =
  TestName -> [TestTree] -> TestTree
testGroup
    TestName
"PropTests"
    [ TestTree
Futhark.IR.Prop.ReshapeTests.tests,
      TestTree
Futhark.IR.Prop.RearrangeTests.tests
    ]