diff options
author | Yann Herklotz <git@yannherklotz.com> | 2019-05-20 17:02:30 +0100 |
---|---|---|
committer | Yann Herklotz <git@yannherklotz.com> | 2019-05-20 17:02:30 +0100 |
commit | b9761e43a5995734acb2d8609a6f25891297fd28 (patch) | |
tree | 171d92fc9f74a0533705cc97c994746b9375fb0b | |
parent | d9258cd3d7cf8474436134a75cfc5ff48b5beff0 (diff) | |
download | verismith-b9761e43a5995734acb2d8609a6f25891297fd28.tar.gz verismith-b9761e43a5995734acb2d8609a6f25891297fd28.zip |
Format using brittany
-rw-r--r-- | src/VeriFuzz.hs | 7 | ||||
-rw-r--r-- | src/VeriFuzz/Fuzz.hs | 6 |
2 files changed, 9 insertions, 4 deletions
diff --git a/src/VeriFuzz.hs b/src/VeriFuzz.hs index 6a63fe0..66c795f 100644 --- a/src/VeriFuzz.hs +++ b/src/VeriFuzz.hs @@ -328,9 +328,10 @@ randomise config@(Config a _ c d e) = do handleOpts :: Opts -> IO () handleOpts (Fuzz o configF _ _ n) = do config <- getConfig configF - _ <- runFuzz config - defaultYosys - (fuzzMultiple n (Just $ fromText o) (proceduralSrc "top" config)) + _ <- runFuzz + config + defaultYosys + (fuzzMultiple n (Just $ fromText o) (proceduralSrc "top" config)) return () handleOpts (Generate f c) = do config <- getConfig c diff --git a/src/VeriFuzz/Fuzz.hs b/src/VeriFuzz/Fuzz.hs index 19f9dce..4f5c016 100644 --- a/src/VeriFuzz/Fuzz.hs +++ b/src/VeriFuzz/Fuzz.hs @@ -154,7 +154,11 @@ equivalence src = do synth <- passedSynthesis -- let synthComb = -- nubBy tupEq . filter (uncurry (/=)) $ combinations synth synth - let synthComb = nubBy tupEq . filter (uncurry (/=)) $ (,) defaultIdentitySynth <$> synth + let synthComb = + nubBy tupEq + . filter (uncurry (/=)) + $ (,) defaultIdentitySynth + <$> synth results <- liftSh $ mapM (uncurry equiv) synthComb synthResults .= toSynthResult synthComb results liftSh $ inspect results |