diff options
| author | Yann Herklotz <git@yannherklotz.com> | 2019-11-10 21:13:06 +0000 |
|---|---|---|
| committer | Yann Herklotz <git@yannherklotz.com> | 2019-11-10 21:13:06 +0000 |
| commit | e2f6a008feb304fd4e6497bfc41a4a32740e2adf (patch) | |
| tree | 3e5522243e32b4c7d9932ed329076f8f2cfb2ede /verismith.cabal | |
| parent | 0438eb4999c3d03ec9a22afbc88b30e0fa131aa6 (diff) | |
| download | verismith-e2f6a008feb304fd4e6497bfc41a4a32740e2adf.tar.gz verismith-e2f6a008feb304fd4e6497bfc41a4a32740e2adf.zip | |
Add counter example parsing
Diffstat (limited to 'verismith.cabal')
| -rw-r--r-- | verismith.cabal | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/verismith.cabal b/verismith.cabal index 61fd087..b54e522 100644 --- a/verismith.cabal +++ b/verismith.cabal @@ -47,6 +47,7 @@ library , Verismith.Circuit.Internal , Verismith.Circuit.Random , Verismith.Config + , Verismith.CounterEg , Verismith.Fuzz , Verismith.Generate , Verismith.Internal |