lol-0.0.1.0: test-suite/Main.hs

--module Tests where

import SHETests
import TensorTests
import CycTests
import ZqTests

import Test.Framework

main :: IO ()
main = do
  flip defaultMainWithArgs ["--threads=1","--maximum-generated-tests=1000"]
    [  testGroup "Tensor Tests" tensorTests
     , testGroup "Cyc Tests" cycTests
     , testGroup "SHE Tests" sheTests
     , testGroup "Zq Tests" zqTests
    ]