diff options
-rw-r--r-- | src/VeriFuzz/Reduce.hs | 29 |
1 files changed, 29 insertions, 0 deletions
diff --git a/src/VeriFuzz/Reduce.hs b/src/VeriFuzz/Reduce.hs new file mode 100644 index 0000000..4900a67 --- /dev/null +++ b/src/VeriFuzz/Reduce.hs @@ -0,0 +1,29 @@ +{-| +Module : VeriFuzz.Reduce +Description : Test case reducer implementation. +Copyright : (c) 2019, Yann Herklotz Grave +License : GPL-3 +Maintainer : ymherklotz [at] gmail [dot] com +Stability : experimental +Portability : POSIX + +Test case reducer implementation. +-} + +module VeriFuzz.Reduce where + +import Control.Lens +import VeriFuzz.AST +import VeriFuzz.Mutate + +halve :: [a] -> ([a], [a]) +halve l = splitAt (length l `div` 2) l + +removeUninitWires :: [ModItem] -> [ModItem] +removeUninitWires ms = transformOf traverseModItem trans <$> ms + where + ids = ms ^.. traverse . modContAssign . contAssignNetLVal + +halveModDecl :: ModDecl -> (ModDecl, ModDecl) +halveModDecl m = + (m & modItems %~ fst . halve, m & modItems %~ snd . halve) |