pure-borrow-0.1.0.0: test-inspection/Main.hs

module Main (main) where

import PureBorrow.Inspection.Fft qualified as Fft
import PureBorrow.Inspection.GenericGrowableUnrestricted qualified as GenericGrowableUnrestricted
import PureBorrow.Inspection.MultiStoreScan qualified as MultiStoreScan
import PureBorrow.Inspection.QSort qualified as QSort
import PureBorrow.Inspection.Sublifetime qualified as Sublifetime
import PureBorrow.Inspection.Worklist.Resume qualified as WorklistResume
import Test.Tasty (defaultMain, testGroup)

main :: IO ()
main =
  defaultMain $
    testGroup
      "optimized Core"
      [ Fft.tests
      , GenericGrowableUnrestricted.tests
      , MultiStoreScan.tests
      , QSort.tests
      , Sublifetime.tests
      , WorklistResume.tests
      ]