From e8cc0d0d2902ad06133f196ea23c23962ec55b0f Mon Sep 17 00:00:00 2001 From: Yann Herklotz Date: Fri, 23 Jul 2021 12:44:04 +0200 Subject: Add command line variables --- src/Verismith/Shuffle.hs | 10 ++++++++-- 1 file changed, 8 insertions(+), 2 deletions(-) (limited to 'src/Verismith/Shuffle.hs') diff --git a/src/Verismith/Shuffle.hs b/src/Verismith/Shuffle.hs index 4c72900..d53b18c 100644 --- a/src/Verismith/Shuffle.hs +++ b/src/Verismith/Shuffle.hs @@ -99,9 +99,15 @@ applyModules f s = do ms = s^.infoSrc._Wrapped shuffleLines, renameVariables, identityMod :: (SourceInfo a) -> Gen (SourceInfo a) -shuffleLines = applyModules shuffleLinesModule +shuffleLines = applyModules shuffleLinesModule renameVariables = applyModules renameVariablesModule -identityMod = applyModules identModule +identityMod = applyModules identModule + +shuffleLinesIO :: (SourceInfo a) -> Gen (SourceInfo a) +shuffleLinesIO = Hog.sample . shuffleLines + +renameVariablesIO :: (SourceInfo a) -> Gen (SourceInfo a) +renameVariablesIO = Hog.sample . renameVariables m' :: SourceInfo () m' = SourceInfo "m" [verilog| -- cgit