diff options
| author | Yann Herklotz <git@yannherklotz.com> | 2019-06-29 20:21:43 +0100 |
|---|---|---|
| committer | Yann Herklotz <git@yannherklotz.com> | 2019-06-29 20:21:43 +0100 |
| commit | bb697f8bc7b593e5aabb43505f686e6503b7726f (patch) | |
| tree | e25f874fa5b68224337b016e1d17ef45204e45c0 /src/VeriFuzz/Fuzz.hs | |
| parent | 8734d40f4842065ce5a579eb0cc77171bbd436b0 (diff) | |
| download | verismith-bb697f8bc7b593e5aabb43505f686e6503b7726f.tar.gz verismith-bb697f8bc7b593e5aabb43505f686e6503b7726f.zip | |
Fix pedantic warnings
Diffstat (limited to 'src/VeriFuzz/Fuzz.hs')
| -rw-r--r-- | src/VeriFuzz/Fuzz.hs | 6 |
1 files changed, 1 insertions, 5 deletions
diff --git a/src/VeriFuzz/Fuzz.hs b/src/VeriFuzz/Fuzz.hs index 181207c..fcc96d3 100644 --- a/src/VeriFuzz/Fuzz.hs +++ b/src/VeriFuzz/Fuzz.hs @@ -39,9 +39,6 @@ import Control.Monad.Trans.Reader hiding (local) import Control.Monad.Trans.State.Strict import qualified Crypto.Random.DRBG as C import Data.ByteString (ByteString) -import Data.ByteString.Builder (byteStringHex, - toLazyByteString) -import qualified Data.ByteString.Lazy as L import Data.List (nubBy, sort) import Data.Maybe (isNothing) import Data.Text (Text) @@ -224,7 +221,6 @@ simulation src = do resTimes <- liftSh $ mapM (equiv vals) $ conv <$> synth liftSh $ inspect resTimes where - tupEq (a, b) (a', b') = (a == a' && b == b') || (a == b' && b == a') conv (SynthResult a _ _ _) = a equiv b a = toolRun ("simulation for " <> toText a) @@ -371,7 +367,7 @@ fuzz gen conf = do ?~ seed' (tsynth, _) <- titleRun "Synthesis" $ synthesis src (tequiv, _) <- titleRun "Equivalence Check" $ equivalence src - (tsim, _) <- titleRun "Simulation" $ simulation src + (_, _) <- titleRun "Simulation" $ simulation src fails <- failEquivWithIdentity synthFails <- failedSynthesis redResult <- |