diff options
| author | Yann Herklotz <ymherklotz@gmail.com> | 2018-12-22 11:35:45 +0000 |
|---|---|---|
| committer | Yann Herklotz <ymherklotz@gmail.com> | 2018-12-22 11:35:45 +0000 |
| commit | 7f73caee6374f0da1bc335a6a618ddd7f2249a14 (patch) | |
| tree | 612a6c9835c8640307c56d0e788bb89f786595d1 /verifuzz.cabal | |
| parent | b5202e97fe669dfa10ec15cc39f9c7f250bcefc5 (diff) | |
| download | verismith-7f73caee6374f0da1bc335a6a618ddd7f2249a14.tar.gz verismith-7f73caee6374f0da1bc335a6a618ddd7f2249a14.zip | |
Add shared code to code generation
Diffstat (limited to 'verifuzz.cabal')
| -rw-r--r-- | verifuzz.cabal | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/verifuzz.cabal b/verifuzz.cabal index fcd5015..17bea7f 100644 --- a/verifuzz.cabal +++ b/verifuzz.cabal @@ -17,6 +17,7 @@ library hs-source-dirs: src default-language: Haskell2010 other-modules: Test.VeriFuzz.Internal.Shared + , Test.VeriFuzz.Internal.Gen exposed-modules: Test.VeriFuzz , Test.VeriFuzz.Circuit , Test.VeriFuzz.CodeGen |