diff options
| author | Yann Herklotz <ymherklotz@gmail.com> | 2019-01-02 11:41:00 +0100 |
|---|---|---|
| committer | Yann Herklotz <ymherklotz@gmail.com> | 2019-01-02 11:41:00 +0100 |
| commit | 40a635407db6187734188508cd11699eec0221a4 (patch) | |
| tree | 462599f4f53ebbbc3d4cb10957fd8a2164684caa /verifuzz.cabal | |
| parent | fed03f4cac43cb41e2e4fa756a43ccaf7e4ed22b (diff) | |
| download | verismith-40a635407db6187734188508cd11699eec0221a4.tar.gz verismith-40a635407db6187734188508cd11699eec0221a4.zip | |
Renaming testing file
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 |