aboutsummaryrefslogtreecommitdiffstats
path: root/src/Test/VeriFuzz
diff options
context:
space:
mode:
authorYann Herklotz <ymherklotz@gmail.com>2018-12-22 15:26:32 +0000
committerYann Herklotz <ymherklotz@gmail.com>2018-12-22 15:26:32 +0000
commit50c3d1f16c1fd5eb97dc05ebb956f75dac24f56f (patch)
treeb457b24427bcd1e2865882fc39b7714ac937b704 /src/Test/VeriFuzz
parent922e0e3cfa9b8b77f7099c2b85c2a974aa6ff948 (diff)
downloadverismith-50c3d1f16c1fd5eb97dc05ebb956f75dac24f56f.tar.gz
verismith-50c3d1f16c1fd5eb97dc05ebb956f75dac24f56f.zip
Add Mutate module to VeriFuzz
Diffstat (limited to 'src/Test/VeriFuzz')
-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
+