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
|
2026-01-16 16:07:23 +00:00
|
|
|
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-30 18:13:47 +00:00
|
|
|
import qualified Test.Datalog.NaiveQESpec as NaiveQESpec
|
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
|
2026-01-16 16:07:23 +00:00
|
|
|
describe "ArithmeticParser" ArithmeticParserSpec.spec
|
2026-01-20 16:49:53 +00:00
|
|
|
describe "DatalogParser" DatalogParserSpec.spec
|
2026-01-30 15:39:17 +00:00
|
|
|
describe "InMemoryDB" InMemoryDBSpec.spec
|
2026-01-30 18:13:47 +00:00
|
|
|
describe "NaiveQE" NaiveQESpec.spec
|
2026-01-14 11:39:47 +00:00
|
|
|
|