aboutsummaryrefslogtreecommitdiffstats
path: root/src
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
parent922e0e3cfa9b8b77f7099c2b85c2a974aa6ff948 (diff)
downloadverismith-50c3d1f16c1fd5eb97dc05ebb956f75dac24f56f.tar.gz
verismith-50c3d1f16c1fd5eb97dc05ebb956f75dac24f56f.zip
Add Mutate module to VeriFuzz
Diffstat (limited to 'src')
-rw-r--r--src/Test/VeriFuzz.hs2
-rw-r--r--src/Test/VeriFuzz/Mutate.hs15
2 files changed, 17 insertions, 0 deletions
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
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
+