aig-0.2.5: tests/aig-test.hs

module Main (main) where

import Test.Tasty
import Test.Tasty.Ingredients
import Test.Tasty.Runners.AntXML

import Tests.Operations

------------------------------------------------------------------------
-- Runner
------------------------------------------------------------------------

main :: IO ()
main = do
  defaultMainWithIngredients ingrs tests

ingrs :: [Ingredient]
ingrs =
   [ antXMLRunner
   ]
   ++
   defaultIngredients


tests :: TestTree
tests =
    testGroup "AIG"
    [ testGroup "Bitvector operations" $ op_tests
    ]