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 --- src/Test/VeriFuzz.hs | 2 ++ 1 file changed, 2 insertions(+) (limited to 'src/Test/VeriFuzz.hs') diff --git a/src/Test/VeriFuzz.hs b/src/Test/VeriFuzz.hs index 88c7854..8600189 100644 --- a/src/Test/VeriFuzz.hs +++ b/src/Test/VeriFuzz.hs @@ -6,6 +6,8 @@ module Test.VeriFuzz , module Test.VeriFuzz.CodeGen -- * Verilog AST Data Types , module Test.VeriFuzz.VerilogAST + -- * AST Mutation + , module Test.VeriFuzz.Mutate -- * Graphs , module Test.VeriFuzz.Graph.ASTGen , module Test.VeriFuzz.Graph.CodeGen -- cgit