ghc-exactprint-0.5.3.1: tests/examples/ghc80/boolFormula.hs

import CheckUtils
import System.Environment( getArgs )

main::IO()
main = do
        [libdir,fileName] <- getArgs
        testOneFile libdir fileName