From 22182aebc734832f64d324f1635b7e9a45bd4d21 Mon Sep 17 00:00:00 2001
From: Yann Herklotz <ymherklotz@gmail.com>
Date: Sun, 20 Jan 2019 17:45:32 +0000
Subject: Format of main file

---
 app/Main.hs | 10 ++++++----
 1 file changed, 6 insertions(+), 4 deletions(-)

(limited to 'app/Main.hs')

diff --git a/app/Main.hs b/app/Main.hs
index aeda625..b651a68 100644
--- a/app/Main.hs
+++ b/app/Main.hs
@@ -43,10 +43,12 @@ runEquivalence t = do
           ^.. getVerilogSrc
           .   traverse
           .   getDescription
-  shelly . chdir_p (fromText "equiv" </> fromText t) . verbosely $ runEquiv defaultYosys
-                                                                            defaultYosys
-                                                                            (Just defaultXst)
-                                                                            circ
+  shelly . verbosely $ do
+    mkdir_p (fromText "equiv" </> fromText t)
+    curr <- toTextIgnore <$> pwd
+    setenv "VERIFUZZ_ROOT" curr
+    cd (fromText "equiv" </> fromText t)
+    runEquiv defaultYosys defaultYosys (Just defaultXst) circ
 
 main :: IO ()
  --main = sample (arbitrary :: Gen (Circuit Input))
-- 
cgit