{-# OPTIONS_GHC -fwarn-incomplete-patterns #-}
{-# LANGUAGE PackageImports #-}

module Main where

import Control.Monad
import Control.Monad.State
import Control.Applicative((<$>),(<*>))
import Control.Arrow
import Data.Maybe
import Data.List as L
import Data.Map as M
import Data.Set as S
import qualified Data.ByteString as B
import Data.Function
import System.Process
import Control.Arrow
import Debug.Trace
import Data.Generics
import Test.QuickCheck
import Data.Monoid
import Text.PrettyPrint.ANSI.Leijen
import System.Exit
import Text.Regex.PCRE.Light.Char8
import Common
import SimpleArgs

import "logic-TPTP" Codec.TPTP

infilename = getArgs
parseRes = return . parse =<< readFile =<< infilename

--main = forever $ quickCheck prop_test_ie --iei_i

--main = stressTestParser

main = stressTestParser

stressTestParser = replicateM 100 $
    do
  n <- getArgs
  x <- head `fmap` sample' (resize n arbitrary) :: IO TPTP_Input
  let tptp = toTPTP' [x]
  putStrLn tptp
  putStrLn (prettySimple (parse tptp))