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 Backend (backendTests)
 8import Concolic qualified as CE
 9import Explorer (exploreTests)
10import Symbolic qualified as SE
11import Test.Tasty
12
13main :: IO ()
14main = defaultMain tests
15
16tests :: TestTree
17tests =
18  testGroup
19    "Tests"
20    [ SE.exprTests,
21      CE.exprTests,
22      backendTests,
23      exploreTests
24    ]