diff options
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 |