HoopleSpec.hs

module Ethereum.Analyzer.Solidity.HoopleSpec
  ( spec
  ) where

import Protolude hiding (show)

import Compiler.Hoopl

import Ethereum.Analyzer.Solidity
import Ethereum.Analyzer.TestData.Asts

import Test.Hspec

spec :: Spec
spec = describe "hoopleOf" $ mapM_ hoopleOfWorks testFilepaths

hoopleOfWorks :: Text -> SpecWith ()
hoopleOfWorks filepath =
  context (toS filepath) $
  it "converts Contract to HContract" $ do
    cfgs -- IO
       <-
      do solNodes <- solNodesOf filepath
         return $
           runSimpleUniqueMonad $ -- UniqueMonad
            do
             contracts <- concat <$> mapM s2sContracts solNodes
             hContracts <- mapM hoopleOf contracts
             return $ map hfCFG $ concatMap hcFunctions hContracts
    sum (map (\g -> foldGraphNodes (const (1 +)) g 0) cfgs) `shouldSatisfy`
      (> 0)