reduce API surface area

pull/11/head
JP Smith 7 years ago
parent ef34aed27e
commit 88e8b40288
  1. 2
      lib/Echidna/Exec.hs
  2. 8
      package.yaml
  3. 1
      src/Main.hs

@ -7,6 +7,7 @@ module Echidna.Exec (
, ePropertySeq
, execCall
, fuzz
, module Echidna.Internal.Runner
) where
import Control.Lens ((^.), (.=))
@ -29,6 +30,7 @@ import EVM.Concrete (Blob(..))
import EVM.Exec (exec)
import Echidna.ABI (SolCall, SolSignature, displayAbiCall, encodeSig, genInteractions)
import Echidna.Internal.Runner
execCall :: MonadState VM m => SolCall -> m VMResult
execCall (t,vs) = state . calldata .= cd >> exec where

@ -31,16 +31,16 @@ default-extensions:
library:
source-dirs: lib/
exposed-modules:
- Echidna.ABI
- Echidna.Exec
- Echidna.Solidity
executables:
echidna-test:
main: Main.hs
source-dirs: src/
dependencies: echidna
simple-example-exe:
main: Simple.hs
source-dirs: examples/simple
dependencies: echidna
state-example-exe:
main: StateMachine.hs
source-dirs: examples/state-machine

@ -7,7 +7,6 @@ import Hedgehog.Internal.Property (GroupName(..), PropertyName(..))
import System.Environment (getArgs)
import Echidna.Exec
import Echidna.Internal.Runner (checkParallel)
import Echidna.Solidity
main :: IO ()

Loading…
Cancel
Save