Using the config files instead of default config for Garbage generation

ymherklotz · Apr 29, 2024 · eb1f012 · eb1f012
1 parent fc7e6e6
commit eb1f012
Showing 1 changed file with 3 additions and 2 deletions.
diff --git 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)