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