aboutsummaryrefslogtreecommitdiffstats
path: root/src/Test/VeriFuzz/Mutate.hs
diff options
context:
space:
mode:
Diffstat (limited to 'src/Test/VeriFuzz/Mutate.hs')
-rw-r--r--src/Test/VeriFuzz/Mutate.hs15
1 files changed, 15 insertions, 0 deletions
diff --git a/src/Test/VeriFuzz/Mutate.hs b/src/Test/VeriFuzz/Mutate.hs
new file mode 100644
index 0000000..c483aaa
--- /dev/null
+++ b/src/Test/VeriFuzz/Mutate.hs
@@ -0,0 +1,15 @@
+{-|
+Module : Test.VeriFuzz.Mutation
+Description : Functions to mutate the Verilog AST.
+Copyright : (c) Yann Herklotz Grave 2018
+License : GPL-3
+Maintainer : ymherklotz@gmail.com
+Stability : experimental
+Portability : POSIX
+
+Functions to mutate the Verilog AST from "Test.VeriFuzz.VerilogAST" to generate
+more random patterns, such as nesting wires instead of creating new ones.
+-}
+
+module Test.VeriFuzz.Mutate where
+