diff options
-rw-r--r-- | app/Test.hs (renamed from app/Yosys.hs) | 0 | ||||
-rw-r--r-- | verifuzz.cabal | 4 |
2 files changed, 2 insertions, 2 deletions
diff --git a/app/Yosys.hs b/app/Test.hs index c67852c..c67852c 100644 --- a/app/Yosys.hs +++ b/app/Test.hs 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 |