blob: a8bd57a357138e3ae3846b97a0b2b4c601f34b5d (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
|
{-|
Module : Test.VeriFuzz.Internal.Gen
Description : Internal helpers for generation.
Copyright : (c) Yann Herklotz Grave 2018
License : GPL-3
Maintainer : ymherklotz@gmail.com
Stability : experimental
Portability : POSIX
Internal helpers for generation.
-}
module Test.VeriFuzz.Internal.Gen where
import Data.Graph.Inductive (Graph, Node)
import qualified Data.Graph.Inductive as G
import qualified Data.Text as T
import Test.VeriFuzz.VerilogAST
fromNode :: Node -> T.Text
fromNode node = Identifier . T.pack $ "w" <> show node
filterGr :: (Graph gr) => gr n e -> (Node -> Bool) -> [Node]
filterGr graph f =
filter f $ G.nodes graph
only :: (Graph gr) => (gr n e -> Node -> Int) -> (gr n e -> Node -> Int) -> gr n e -> Node -> [Node]
only fun1 fun2 n = fun1 graph n == 0 && fun2 graph n /= 0
inputs :: (Graph gr) => gr n e -> [Node]
inputs graph = filterGr graph $ only G.indeg G.outdeg
outputs :: (Graph gr) => gr n e -> [Node]
outputs graph = filterGr graph $ only G.outdeg G.indeg
|
