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 | |
parent | fed03f4cac43cb41e2e4fa756a43ccaf7e4ed22b (diff) | |
download | verismith-40a635407db6187734188508cd11699eec0221a4.tar.gz verismith-40a635407db6187734188508cd11699eec0221a4.zip |
Renaming testing file
-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 |