From eb1f012d96ddfea3a111e2d13a7d0074d43d5e3b Mon Sep 17 00:00:00 2001
From: qcorradi <q.corradi22@imperial.ac.uk>
Date: Mon, 29 Apr 2024 15:42:58 +0100
Subject: [PATCH] Using the config files instead of default config for Garbage
 generation

---
 src/Verismith/Verilog2005/Generator.hs | 5 +++--
 1 file changed, 3 insertions(+), 2 deletions(-)

diff --git a/src/Verismith/Verilog2005/Generator.hs b/src/Verismith/Verilog2005/Generator.hs
index b1b2666..4ff4fbe 100644
--- a/src/Verismith/Verilog2005/Generator.hs
+++ b/src/Verismith/Verilog2005/Generator.hs
@@ -881,5 +881,6 @@ garbageVerilog2005 =
 
 runGarbageGeneration :: Config -> IO Verilog2005
 runGarbageGeneration c = do
-  gen <- maybe createSystemRandom initialize $ c ^. configGarbageGenerator . goSeed
-  runReaderT garbageVerilog2005 (defGarbageOpts, gen)
+  let conf = _configGarbageGenerator c
+  gen <- maybe createSystemRandom initialize $ _goSeed conf
+  runReaderT garbageVerilog2005 (conf, gen)