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
        ]