diff options
| author | Yann Herklotz Grave <git@yannherklotzgrave.com> | 2019-02-16 11:35:30 +0000 |
|---|---|---|
| committer | Yann Herklotz Grave <git@yannherklotzgrave.com> | 2019-02-16 11:35:30 +0000 |
| commit | f5f2b13429bd81aa1e53431e950439c3542a9100 (patch) | |
| tree | 5d0e1f89b39772fb7965adee4f5b7d3047aac1d7 | |
| parent | 01f9fe39f3e6fefbafb878f95d23802f8f368b51 (diff) | |
| download | verismith-f5f2b13429bd81aa1e53431e950439c3542a9100.tar.gz verismith-f5f2b13429bd81aa1e53431e950439c3542a9100.zip | |
Add Parser to library
| -rw-r--r-- | src/VeriFuzz.hs | 2 | ||||
| -rw-r--r-- | verifuzz.cabal | 1 |
2 files changed, 3 insertions, 0 deletions
diff --git a/src/VeriFuzz.hs b/src/VeriFuzz.hs index 16d96ce..21acf10 100644 --- a/src/VeriFuzz.hs +++ b/src/VeriFuzz.hs @@ -22,6 +22,7 @@ module VeriFuzz , module VeriFuzz.Icarus , module VeriFuzz.Internal , module VeriFuzz.Mutate + , module VeriFuzz.Parser , module VeriFuzz.Random , module VeriFuzz.XST , module VeriFuzz.Yosys @@ -51,6 +52,7 @@ import VeriFuzz.General import VeriFuzz.Icarus import VeriFuzz.Internal import VeriFuzz.Mutate +import VeriFuzz.Parser import VeriFuzz.Random import VeriFuzz.XST import VeriFuzz.Yosys diff --git a/verifuzz.cabal b/verifuzz.cabal index 24ac31e..7b9d151 100644 --- a/verifuzz.cabal +++ b/verifuzz.cabal @@ -35,6 +35,7 @@ library , VeriFuzz.Gen , VeriFuzz.Icarus , VeriFuzz.Mutate + , VeriFuzz.Parser , VeriFuzz.RandomAlt , VeriFuzz.Random , VeriFuzz.XST |