aboutsummaryrefslogtreecommitdiffstats
path: root/src/VeriFuzz/Simulator.hs
diff options
context:
space:
mode:
Diffstat (limited to 'src/VeriFuzz/Simulator.hs')
-rw-r--r--src/VeriFuzz/Simulator.hs14
1 files changed, 11 insertions, 3 deletions
diff --git a/src/VeriFuzz/Simulator.hs b/src/VeriFuzz/Simulator.hs
index 24365fd..a84cd5f 100644
--- a/src/VeriFuzz/Simulator.hs
+++ b/src/VeriFuzz/Simulator.hs
@@ -11,23 +11,31 @@ Simulator module.
-}
module VeriFuzz.Simulator
- ( module VeriFuzz.Simulator.General
+ ( SimMatrix
+ , module VeriFuzz.Simulator.General
, module VeriFuzz.Simulator.Yosys
, module VeriFuzz.Simulator.Xst
, module VeriFuzz.Simulator.Icarus
)
where
-import Control.Monad.Trans.Reader (ReaderT)
+import Control.Monad.Trans.Reader
+import Prelude hiding (FilePath)
import Shelly
import VeriFuzz.Simulator.General
import VeriFuzz.Simulator.Icarus
import VeriFuzz.Simulator.Xst
import VeriFuzz.Simulator.Yosys
+-- | Environment used to run the main
data SimMatrix = SimMatrix { yosys :: Yosys
, xst :: Maybe Xst
, icarus :: Maybe Icarus
}
-type SimEnv = ReaderT SimMatrix Sh
+type SimEnv = ReaderT SimMatrix IO
+
+runAll :: SimEnv ()
+runAll = do
+ val <- asks xst
+ shelly $ run_ "echo" ["Hello World"]