From 40a635407db6187734188508cd11699eec0221a4 Mon Sep 17 00:00:00 2001
From: Yann Herklotz <ymherklotz@gmail.com>
Date: Wed, 2 Jan 2019 11:41:00 +0100
Subject: Renaming testing file

---
 verifuzz.cabal | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

(limited to 'verifuzz.cabal')

diff --git a/verifuzz.cabal b/verifuzz.cabal
index 6f878ff..66ac1e9 100644
--- a/verifuzz.cabal
+++ b/verifuzz.cabal
@@ -49,8 +49,8 @@ library
                      , DRBG
   default-extensions:  OverloadedStrings
 
-executable yosys
-  main-is:             app/Yosys.hs
+executable verifuzz-testsim
+  main-is:             app/Test.hs
   default-language:    Haskell2010
   build-depends:       base >= 4.7 && < 5
                      , verifuzz
-- 
cgit