diff options
Diffstat (limited to 'src/VeriFuzz/Reduce.hs')
| -rw-r--r-- | src/VeriFuzz/Reduce.hs | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/src/VeriFuzz/Reduce.hs b/src/VeriFuzz/Reduce.hs index cf7a302..e666f38 100644 --- a/src/VeriFuzz/Reduce.hs +++ b/src/VeriFuzz/Reduce.hs @@ -103,10 +103,10 @@ cleanMod m newm = modify . change <$> newm ^. modItems halveStatements :: Statement -> Replacement Statement -halveStatements (SeqBlock l) = SeqBlock <$> halve l +halveStatements (SeqBlock l ) = SeqBlock <$> halve l halveStatements (CondStmnt _ (Just a) b) = maybe (Single a) (Dual a) b -halveStatements (CondStmnt _ Nothing b) = maybe None Single b -halveStatements (ForLoop _ _ _ s) = Single s +halveStatements (CondStmnt _ Nothing b) = maybe None Single b +halveStatements (ForLoop _ _ _ s ) = Single s halveStatements _ = None -- | Split a module declaration in half by trying to remove assign statements. |