1
1
mirror of https://github.com/anoma/juvix.git synced 2024-12-13 11:16:48 +03:00
juvix/test/Main.hs
2022-11-03 09:38:09 +01:00

40 lines
768 B
Haskell

module Main (main) where
import Arity qualified
import Asm qualified
import BackendC qualified
import Base
import Core qualified
import Parsing qualified
import Reachability qualified
import Runtime qualified
import Scope qualified
import Termination qualified
import Typecheck qualified
slowTests :: TestTree
slowTests =
testGroup
"Juvix slow tests"
[ BackendC.allTests,
Core.allTests,
Asm.allTests,
Runtime.allTests
]
fastTests :: TestTree
fastTests =
testGroup
"Juvix fast tests"
[ Parsing.allTests,
Scope.allTests,
Termination.allTests,
Arity.allTests,
Typecheck.allTests,
Reachability.allTests
]
main :: IO ()
main = do
defaultMain (testGroup "Juvix tests" [fastTests, slowTests])