module Main where

import           Test.Hspec
import           Test.QuickCheck

import           Data.Char
import           Lib.Happy

main :: IO ()
main = hspec $ do
  describe "palindrome" $ do
    it "palindrome1 should give same results of palindrome2" $ property $
      \str-> prop_palindrome str

prop_palindrome :: String -> Bool
prop_palindrome str = let str' = filter isAscii str
                      in palindromePerm1 str' == palindromePerm2 str'