GenZ-0.1.0.0: exec/form-size.hs

module Main where

import General
import General.Lex
import FormM.Parse

-- | Compute the size of lwb formulas (with extra negation)
main :: IO ()
main = do
  putStrLn "Give me the filepath: "
  p <- getLine
  content <- readFile p
  -- benchmarks/LWB/lwb_k/k_branch_n.txt.1.intohylo
  case parseFormM (alexScanTokens content) of
    Left e -> print e
    Right f -> do
      print $ size $ neg f