diff options
Diffstat (limited to 'src/VeriFuzz/Fuzz.hs')
-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 |