diff options
Diffstat (limited to 'src/VeriFuzz/Reduce.hs')
| -rw-r--r-- | src/VeriFuzz/Reduce.hs | 12 |
1 files changed, 6 insertions, 6 deletions
diff --git a/src/VeriFuzz/Reduce.hs b/src/VeriFuzz/Reduce.hs index e666f38..49d4dc9 100644 --- a/src/VeriFuzz/Reduce.hs +++ b/src/VeriFuzz/Reduce.hs @@ -102,12 +102,12 @@ cleanMod m newm = modify . change <$> newm $ l ^. modItems -halveStatements :: Statement -> Replacement Statement -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 _ = None +-- halveStatements :: Statement -> Replacement Statement +-- 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 _ = None -- | Split a module declaration in half by trying to remove assign statements. halveAssigns :: SourceInfo -> Replacement SourceInfo |