diff options
Diffstat (limited to 'src/VeriFuzz/Random.hs')
| -rw-r--r-- | src/VeriFuzz/Random.hs | 11 |
1 files changed, 0 insertions, 11 deletions
diff --git a/src/VeriFuzz/Random.hs b/src/VeriFuzz/Random.hs index 4330543..947f74e 100644 --- a/src/VeriFuzz/Random.hs +++ b/src/VeriFuzz/Random.hs @@ -59,14 +59,3 @@ randomDAG = do -- | Generate a random acyclic DAG with an IO instance. genRandomDAG :: IO Circuit genRandomDAG = Hog.sample randomDAG - --- fromGraph :: Gen ModDecl --- fromGraph = do --- gr <- rDupsCirc <$> Hog.resize 100 randomCircuit --- return --- $ initMod --- . head --- $ nestUpTo 5 (generateAST gr) --- ^.. getVerilogSrc --- . traverse --- . getDescription |