diff options
| author | Yann Herklotz <ymherklotz@gmail.com> | 2018-12-22 15:26:32 +0000 |
|---|---|---|
| committer | Yann Herklotz <ymherklotz@gmail.com> | 2018-12-22 15:26:32 +0000 |
| commit | 50c3d1f16c1fd5eb97dc05ebb956f75dac24f56f (patch) | |
| tree | b457b24427bcd1e2865882fc39b7714ac937b704 /verifuzz.cabal | |
| parent | 922e0e3cfa9b8b77f7099c2b85c2a974aa6ff948 (diff) | |
| download | verismith-50c3d1f16c1fd5eb97dc05ebb956f75dac24f56f.tar.gz verismith-50c3d1f16c1fd5eb97dc05ebb956f75dac24f56f.zip | |
Add Mutate module to VeriFuzz
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 17bea7f..a1b743b 100644 --- a/verifuzz.cabal +++ b/verifuzz.cabal @@ -21,6 +21,7 @@ library exposed-modules: Test.VeriFuzz , Test.VeriFuzz.Circuit , Test.VeriFuzz.CodeGen + , Test.VeriFuzz.Mutate , Test.VeriFuzz.Graph.ASTGen , Test.VeriFuzz.Graph.CodeGen , Test.VeriFuzz.Graph.Random |