diff options
author | Yann Herklotz <git@yannherklotz.com> | 2019-05-25 23:26:27 +0100 |
---|---|---|
committer | Yann Herklotz <git@yannherklotz.com> | 2019-05-25 23:26:27 +0100 |
commit | 11bd73faa516cde0af74e5359c36c8f1fa4e816a (patch) | |
tree | 55761b9b97d547686a565943a490eb58d93d3f18 /src/VeriFuzz.hs | |
parent | 3ad518489f1528941d4d059e594ad9ac1d22fd0d (diff) | |
download | verismith-11bd73faa516cde0af74e5359c36c8f1fa4e816a.tar.gz verismith-11bd73faa516cde0af74e5359c36c8f1fa4e816a.zip |
Fix reduction for statements
Diffstat (limited to 'src/VeriFuzz.hs')
-rw-r--r-- | src/VeriFuzz.hs | 7 |
1 files changed, 4 insertions, 3 deletions
diff --git a/src/VeriFuzz.hs b/src/VeriFuzz.hs index 6d4f839..4b9878d 100644 --- a/src/VeriFuzz.hs +++ b/src/VeriFuzz.hs @@ -400,9 +400,10 @@ handleOpts (Reduce f t _ ls' True) = do runSynth b src runEquiv a b src case res of - Pass _ -> putStrLn "Equivalence check passed" - Fail EquivFail -> error "Equivalence check failed" - Fail _ -> error "Equivalence check errored out" + Pass _ -> putStrLn "Equivalence check passed" + Fail EquivFail -> putStrLn "Equivalence check failed" + Fail TimeoutError -> putStrLn "Equivalence check timed out" + Fail _ -> putStrLn "Equivalence check error" return () as -> do putStrLn "Synthesis check" |