module Language.Haskell.Liquid.Prover.Constants where

-------------------------------------------------------------------------------
----------------------------   Debugging  -------------------------------------
-------------------------------------------------------------------------------

debug = True 
whenLoud act = if debug then act else return ()

-------------------------------------------------------------------------------
------------------------   Constant Numbers   ---------------------------------
-------------------------------------------------------------------------------

delta, epsilon, default_depth :: Int 
delta   = 5 
epsilon = 10 
default_depth = 2 


-------------------------------------------------------------------------------
------------------------   Files  ---------------------------------------------
-------------------------------------------------------------------------------

smtFileExtention = ".smt"
smtFile fn = fn ++ smtFileExtention