diff options
author | Yann Herklotz <git@ymhg.org> | 2019-04-19 10:32:54 +0100 |
---|---|---|
committer | Yann Herklotz <git@ymhg.org> | 2019-04-19 10:32:54 +0100 |
commit | 13fbf04854093f8d77693f9280de4c1d55c7293c (patch) | |
tree | d326297180ad355bf8a7be200c3d7dab8f482ff6 /src/VeriFuzz | |
parent | 4adb8899ca5ed7f9671ba9a5f9d2e533ba0e5194 (diff) | |
download | verismith-13fbf04854093f8d77693f9280de4c1d55c7293c.tar.gz verismith-13fbf04854093f8d77693f9280de4c1d55c7293c.zip |
Fix compiling on CI
Diffstat (limited to 'src/VeriFuzz')
-rw-r--r-- | src/VeriFuzz/Fuzz.hs | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/src/VeriFuzz/Fuzz.hs b/src/VeriFuzz/Fuzz.hs index 180ed4f..8ef67c6 100644 --- a/src/VeriFuzz/Fuzz.hs +++ b/src/VeriFuzz/Fuzz.hs @@ -17,6 +17,9 @@ module VeriFuzz.Fuzz ( SynthTool(..) , SimTool(..) , FuzzResult(..) + , synthResults + , simResults + , synthStatus , Fuzz , fuzz , runFuzz |