{-# OPTIONS 
 -fglasgow-exts 
 -XCPP 
 -XTemplateHaskell 
 -XNamedFieldPuns 
 -XRecordWildCards 
 -XDeriveDataTypeable 
 -XOverlappingInstances
 -XPackageImports
 -fwarn-incomplete-patterns
 #-}

module ParseRandom where

import Control.Monad
import Control.Monad.State
import Control.Applicative((<$>),(<*>))
import Control.Arrow
import Text.Printf.TH
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 System.SimpleArgs
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 "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))