From 8454ad46e1022f50fcc0eaf717d2806500e2d7fa Mon Sep 17 00:00:00 2001 From: Yann Herklotz Grave Date: Mon, 4 Mar 2019 16:50:00 +0000 Subject: Add toml configuration support for probabilities --- src/VeriFuzz.hs | 2 ++ 1 file changed, 2 insertions(+) (limited to 'src/VeriFuzz.hs') diff --git a/src/VeriFuzz.hs b/src/VeriFuzz.hs index 9bf3602..7e6a25e 100644 --- a/src/VeriFuzz.hs +++ b/src/VeriFuzz.hs @@ -15,6 +15,7 @@ module VeriFuzz , draw , SourceInfo(..) , module VeriFuzz.AST + , module VeriFuzz.Config , module VeriFuzz.ASTGen , module VeriFuzz.Circuit , module VeriFuzz.CodeGen @@ -49,6 +50,7 @@ import VeriFuzz.AST import VeriFuzz.ASTGen import VeriFuzz.Circuit import VeriFuzz.CodeGen +import VeriFuzz.Config import VeriFuzz.Env import VeriFuzz.Gen import VeriFuzz.Icarus -- cgit