module DeBruijn.Spec (test_debruijn) where

import DeBruijn.FlatNatWord (test_flatNatWord)
import DeBruijn.Scope (test_scope)
import DeBruijn.UnDeBruijnify (test_undebruijnify)
import Test.Tasty
import Test.Tasty.Extras

test_debruijn :: TestTree
test_debruijn :: TestTree
test_debruijn =
  [String] -> [TestNested] -> TestTree
runTestNested [String
"untyped-plutus-core", String
"test", String
"DeBruijn"] ([TestNested] -> TestTree) -> [TestNested] -> TestTree
forall a b. (a -> b) -> a -> b
$
    [ TestNested
test_undebruijnify
    , TestNested
test_scope
    , TestNested
test_flatNatWord
    ]