quebex

 1-- SPDX-FileCopyrightText: 2025 Sören Tempel <soeren+git@soeren-tempel.net>
 2--
 3-- SPDX-License-Identifier: GPL-3.0-only
 4
 5module Main (main) where
 6
 7import BV (bvTests)
 8import Backend (backendTests)
 9import Concolic qualified as CE
10import Explorer (exploreTests)
11import Golden (goldenTests)
12import Symbolic qualified as SE
13import Test.Tasty
14
15main :: IO ()
16main = defaultMain tests
17
18tests :: TestTree
19tests =
20  testGroup
21    "Tests"
22    [ SE.exprTests,
23      CE.exprTests,
24      backendTests,
25      exploreTests,
26      goldenTests,
27      bvTests
28    ]