diff options
| author | Yann Herklotz Grave <git@yannherklotzgrave.com> | 2019-02-26 13:09:40 +0000 |
|---|---|---|
| committer | Yann Herklotz Grave <git@yannherklotzgrave.com> | 2019-02-26 13:09:40 +0000 |
| commit | 03dfbc90ca32d4e4ca31dc201490b65b1023a34a (patch) | |
| tree | 2d692b4bf22238a9d6313231fa56da949c003951 /src/VeriFuzz/Reduce.hs | |
| parent | c5059edf407ca20ae83eaf1177d6f55b029db28e (diff) | |
| download | verismith-03dfbc90ca32d4e4ca31dc201490b65b1023a34a.tar.gz verismith-03dfbc90ca32d4e4ca31dc201490b65b1023a34a.zip | |
Add Ord to AST and fix reduction function
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 |