module Main where

import LTL
import Test.Tasty
import Test.Tasty.HUnit
import Data.List hiding (and, or)
import Prelude hiding (and, or)

main :: IO ()
main = defaultMain $ testGroup "LTL tests"
  [ testCase "string match" $ do
      let formula = always (test odd `or` (test even `and` next (test odd)))
      case run formula (take 100000000 ([1..] :: [Int])) of
          Stop (Failure e) -> assertFailure $ "Failed: " ++ show e
          _ -> return ()
  ]