packages feed

lol-0.3.0.0: tests/Main.hs

import TensorTests
import CycTests
import ZqTests

import Test.Framework

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