diff options
Diffstat (limited to 'src/VeriFuzz/Reduce.hs')
-rw-r--r-- | src/VeriFuzz/Reduce.hs | 6 |
1 files changed, 4 insertions, 2 deletions
diff --git a/src/VeriFuzz/Reduce.hs b/src/VeriFuzz/Reduce.hs index 6f11767..a074627 100644 --- a/src/VeriFuzz/Reduce.hs +++ b/src/VeriFuzz/Reduce.hs @@ -41,10 +41,12 @@ reduce eval src = do reduce eval l (False, True) -> reduce eval r - (True, True) -> + (True, True) -> do lreduced <- reduce eval l rreduced <- reduce eval r - return lreduced + if lreduced < rreduced + then return lreduced + else return rreduced _ -> return src where |