18 lines
615 B
Haskell
Raw Permalink Normal View History

2026-01-14 11:39:47 +00:00
module Main (main) where
import Test.Hspec
import qualified Test.OlogsSpec as Ologs
2026-01-14 12:36:24 +00:00
import qualified Test.SimpleParserSpec as SimpleParserSpec
import qualified Test.ArithmeticParserSpec as ArithmeticParserSpec
2026-01-21 10:59:57 +00:00
import qualified Test.Datalog.DatalogParserSpec as DatalogParserSpec
2026-01-30 15:39:17 +00:00
import qualified Test.Datalog.InMemoryDBSpec as InMemoryDBSpec
2026-01-14 11:39:47 +00:00
main :: IO ()
main = hspec $ do
describe "Ologs" Ologs.spec
2026-01-14 12:36:24 +00:00
describe "SimpleParser" SimpleParserSpec.spec
describe "ArithmeticParser" ArithmeticParserSpec.spec
describe "DatalogParser" DatalogParserSpec.spec
2026-01-30 15:39:17 +00:00
describe "InMemoryDB" InMemoryDBSpec.spec
2026-01-14 11:39:47 +00:00