4 files changed, 27 insertions, 27 deletions
diff --git a/src/Test/VeriFuzz/Graph/ASTGen.hs b/src/Test/VeriFuzz/Graph/ASTGen.hs
index d652752..2b241e1 100644
--- a/src/Test/VeriFuzz/Graph/ASTGen.hs
+++ b/src/Test/VeriFuzz/Graph/ASTGen.hs
@@ -1,5 +1,5 @@
 {-|
-Module      : Test.VeriFuzz.Graph.ASTGen
+Module      : VeriFuzz.Graph.ASTGen
 Description : Generates the AST from the graph directly.
 Copyright   : (c) 2018-2019, Yann Herklotz Grave
 License     : BSD-3
@@ -10,18 +10,18 @@ Portability : POSIX
 Generates the AST from the graph directly.
 -}
 
-module Test.VeriFuzz.Graph.ASTGen where
+module VeriFuzz.Graph.ASTGen where
 
-import           Data.Foldable                 (fold)
-import           Data.Graph.Inductive          (LNode, Node)
-import qualified Data.Graph.Inductive          as G
-import           Data.Maybe                    (catMaybes)
-import qualified Data.Text                     as T
-import           Test.VeriFuzz.Circuit
-import           Test.VeriFuzz.Internal.Gen
-import           Test.VeriFuzz.Internal.Shared
-import           Test.VeriFuzz.Verilog.AST
-import           Test.VeriFuzz.Verilog.Helpers
+import           Data.Foldable            (fold)
+import           Data.Graph.Inductive     (LNode, Node)
+import qualified Data.Graph.Inductive     as G
+import           Data.Maybe               (catMaybes)
+import qualified Data.Text                as T
+import           VeriFuzz.Circuit
+import           VeriFuzz.Internal.Gen
+import           VeriFuzz.Internal.Shared
+import           VeriFuzz.Verilog.AST
+import           VeriFuzz.Verilog.Helpers
 
 -- | Converts a 'CNode' to an 'Identifier'.
 frNode :: Node -> Identifier
diff --git a/src/Test/VeriFuzz/Graph/CodeGen.hs b/src/Test/VeriFuzz/Graph/CodeGen.hs
index b890a04..0d23044 100644
--- a/src/Test/VeriFuzz/Graph/CodeGen.hs
+++ b/src/Test/VeriFuzz/Graph/CodeGen.hs
@@ -1,5 +1,5 @@
 {-|
-Module      : Test.VeriFuzz.Graph.Random
+Module      : VeriFuzz.Graph.Random
 Description : Code generation directly from DAG.
 Copyright   : (c) 2018-2019, Yann Herklotz Grave
 License     : BSD-3
@@ -10,19 +10,19 @@ Portability : POSIX
 Define the code generation directly from the random DAG.
 -}
 
-module Test.VeriFuzz.Graph.CodeGen
+module VeriFuzz.Graph.CodeGen
   ( generate
   ) where
 
-import           Data.Foldable                 (fold)
-import           Data.Graph.Inductive          (Graph, LNode, Node, indeg,
-                                                labNodes, nodes, outdeg, pre)
-import           Data.Maybe                    (fromMaybe)
-import           Data.Text                     (Text)
-import qualified Data.Text                     as T
-import           Test.VeriFuzz.Circuit
-import           Test.VeriFuzz.Internal.Gen
-import           Test.VeriFuzz.Internal.Shared
+import           Data.Foldable            (fold)
+import           Data.Graph.Inductive     (Graph, LNode, Node, indeg, labNodes,
+                                           nodes, outdeg, pre)
+import           Data.Maybe               (fromMaybe)
+import           Data.Text                (Text)
+import qualified Data.Text                as T
+import           VeriFuzz.Circuit
+import           VeriFuzz.Internal.Gen
+import           VeriFuzz.Internal.Shared
 
 toOperator :: Gate -> Text
 toOperator And = " & "
diff --git a/src/Test/VeriFuzz/Graph/Random.hs b/src/Test/VeriFuzz/Graph/Random.hs
index 9483bdf..0514f6d 100644
--- a/src/Test/VeriFuzz/Graph/Random.hs
+++ b/src/Test/VeriFuzz/Graph/Random.hs
@@ -1,5 +1,5 @@
 {-|
-Module      : Test.VeriFuzz.Graph.Random
+Module      : VeriFuzz.Graph.Random
 Description : Random generation for DAG
 Copyright   : (c) 2018-2019, Yann Herklotz Grave
 License     : BSD-3
@@ -10,7 +10,7 @@ Portability : POSIX
 Define the random generation for the directed acyclic graph.
 -}
 
-module Test.VeriFuzz.Graph.Random where
+module VeriFuzz.Graph.Random where
 
 import           Data.Graph.Inductive              (Context, Graph, LEdge)
 import qualified Data.Graph.Inductive              as G
diff --git a/src/Test/VeriFuzz/Graph/RandomAlt.hs b/src/Test/VeriFuzz/Graph/RandomAlt.hs
index 9fe72e2..d9ee138 100644
--- a/src/Test/VeriFuzz/Graph/RandomAlt.hs
+++ b/src/Test/VeriFuzz/Graph/RandomAlt.hs
@@ -1,5 +1,5 @@
 {-|p
-Module      : Test.VeriFuzz.Graph.RandomAlt
+Module      : VeriFuzz.Graph.RandomAlt
 Description : RandomAlt generation for DAG
 Copyright   : (c) 2018-2019, Yann Herklotz Grave
 License     : BSD-3
@@ -10,7 +10,7 @@ Portability : POSIX
 Define the random generation for the directed acyclic graph.
 -}
 
-module Test.VeriFuzz.Graph.RandomAlt where
+module VeriFuzz.Graph.RandomAlt where
 
 import           Data.Graph.Inductive              (Graph, LEdge, mkGraph)
 import qualified Data.Graph.Inductive.Arbitrary    as G