diff options
author | Yann Herklotz <ymherklotz@gmail.com> | 2018-12-15 20:19:06 +0000 |
---|---|---|
committer | Yann Herklotz <ymherklotz@gmail.com> | 2018-12-15 20:19:06 +0000 |
commit | bf52d2c2db6ee07df73b99524eb02a2da99a936b (patch) | |
tree | 4bb2f3f203e45782163adceed896f3d0cf62693d /src/Test/VeriFuzz/Graph/CodeGen.hs | |
parent | 1054b81ed2d68c124f40e9c0df754f9db1c5cb27 (diff) | |
download | verismith-bf52d2c2db6ee07df73b99524eb02a2da99a936b.tar.gz verismith-bf52d2c2db6ee07df73b99524eb02a2da99a936b.zip |
Fix documentation
Diffstat (limited to 'src/Test/VeriFuzz/Graph/CodeGen.hs')
-rw-r--r-- | src/Test/VeriFuzz/Graph/CodeGen.hs | 18 |
1 files changed, 16 insertions, 2 deletions
diff --git a/src/Test/VeriFuzz/Graph/CodeGen.hs b/src/Test/VeriFuzz/Graph/CodeGen.hs index 6f7aef6..43fee25 100644 --- a/src/Test/VeriFuzz/Graph/CodeGen.hs +++ b/src/Test/VeriFuzz/Graph/CodeGen.hs @@ -1,13 +1,27 @@ +{-| +Module : Test.VeriFuzz.Graph.Random +Description : Code generation directly from DAG. +Copyright : (c) Yann Herklotz Grave 2018 +License : GPL-3 +Maintainer : ymherklotz@gmail.com +Stability : experimental +Portability : POSIX + +Define the code generation directly from the random DAG. +-} + {-# LANGUAGE OverloadedStrings #-} -module Test.VeriFuzz.Graph.CodeGen where +module Test.VeriFuzz.Graph.CodeGen + ( generate + ) where import Data.Graph.Inductive (Graph, LNode, Node, indeg, labNodes, nodes, outdeg, pre) import Data.Maybe (fromMaybe) import Data.Text (Text, empty, pack) +import Test.VeriFuzz.Circuit import Test.VeriFuzz.Internal.Shared -import Test.VeriFuzz.Types fromNode :: Node -> Text fromNode node = pack $ "w" <> show node |