From 88e8b40288c0ee564fb4eaaf9a3f7b3270ad58a9 Mon Sep 17 00:00:00 2001
From: JP Smith <jp@writes.co.de>
Date: Mon, 5 Mar 2018 13:34:43 -0500
Subject: [PATCH] reduce API surface area

---
 lib/Echidna/Exec.hs | 2 ++
 package.yaml        | 8 ++++----
 src/Main.hs         | 1 -
 3 files changed, 6 insertions(+), 5 deletions(-)

diff --git a/lib/Echidna/Exec.hs b/lib/Echidna/Exec.hs
index 941438ad..cd0c260f 100644
--- a/lib/Echidna/Exec.hs
+++ b/lib/Echidna/Exec.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
diff --git a/package.yaml b/package.yaml
index 726a48ea..2bf2602f 100644
--- a/package.yaml
+++ b/package.yaml
@@ -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
diff --git a/src/Main.hs b/src/Main.hs
index a1eef9db..b9280e4f 100644
--- a/src/Main.hs
+++ b/src/Main.hs
@@ -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 ()