diff options
| author | Yann Herklotz <ymherklotz@gmail.com> | 2018-12-25 13:20:57 +0100 |
|---|---|---|
| committer | Yann Herklotz <ymherklotz@gmail.com> | 2018-12-25 13:20:57 +0100 |
| commit | ffd032f74a8eed1c47a93d7ce619734580e1ae61 (patch) | |
| tree | ba09ebf36da069e162502a664bb0b643cef1a8bb /verifuzz.cabal | |
| parent | 1d070b34a4e6f4a52abfe052bf49f589bd34d1b5 (diff) | |
| download | verismith-ffd032f74a8eed1c47a93d7ce619734580e1ae61.tar.gz verismith-ffd032f74a8eed1c47a93d7ce619734580e1ae61.zip | |
Add Helpers.hs
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 7427b57..914b5fd 100644 --- a/verifuzz.cabal +++ b/verifuzz.cabal @@ -22,6 +22,7 @@ library , Test.VeriFuzz.Circuit , Test.VeriFuzz.CodeGen , Test.VeriFuzz.Mutate + , Test.VeriFuzz.Helpers , Test.VeriFuzz.Graph.ASTGen , Test.VeriFuzz.Graph.CodeGen , Test.VeriFuzz.Graph.Random |