From 50c3d1f16c1fd5eb97dc05ebb956f75dac24f56f Mon Sep 17 00:00:00 2001 From: Yann Herklotz Date: Sat, 22 Dec 2018 15:26:32 +0000 Subject: Add Mutate module to VeriFuzz --- verifuzz.cabal | 1 + 1 file changed, 1 insertion(+) (limited to 'verifuzz.cabal') 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 -- cgit