    {-# 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
        ]