diff options
Diffstat (limited to 'verifuzz.cabal')
-rw-r--r-- | verifuzz.cabal | 4 |
1 files changed, 2 insertions, 2 deletions
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 |