quebex

 1-- SPDX-FileCopyrightText: 2025 Sören Tempel <soeren+git@soeren-tempel.net>
 2--
 3-- SPDX-License-Identifier: MIT AND GPL-3.0-only
 4
 5module Main (main) where
 6
 7import Criterion.Main (defaultMain)
 8import Exec (execBench)
 9import SMT (smtBench)
10
11main :: IO ()
12main = defaultMain [execBench, smtBench]