diff options
author | Yann Herklotz Grave <git@yannherklotzgrave.com> | 2019-02-11 21:48:58 +0000 |
---|---|---|
committer | Yann Herklotz Grave <git@yannherklotzgrave.com> | 2019-02-11 21:48:58 +0000 |
commit | 4d1efed4ddc19b5394b6ba8b0c6366521f38114b (patch) | |
tree | 5b789e7ef715c87b256a8435cff0c2f1376eed76 | |
parent | df3723a3bf1e131181980d5a8d72c9af8a79f5d9 (diff) | |
download | verismith-4d1efed4ddc19b5394b6ba8b0c6366521f38114b.tar.gz verismith-4d1efed4ddc19b5394b6ba8b0c6366521f38114b.zip |
Fix versions and tests
-rw-r--r-- | src/VeriFuzz/Mutate.hs | 4 | ||||
-rw-r--r-- | verifuzz.cabal | 2 |
2 files changed, 1 insertions, 5 deletions
diff --git a/src/VeriFuzz/Mutate.hs b/src/VeriFuzz/Mutate.hs index 61fdd7a..d012358 100644 --- a/src/VeriFuzz/Mutate.hs +++ b/src/VeriFuzz/Mutate.hs @@ -218,10 +218,6 @@ simplify e = e -- -- >>> GenVerilog . removeId ["x"] $ Id "x" + Id "y" -- (x + (-1'h0)) --- --- This can be combined with 'simplify' to completely remove an identifier. --- --- >>> GenVerilog . simplify . removeId ["z"] $ Id "x" + Id "y" - Id "z" removeId :: [Identifier] -> Expr -> Expr removeId i expr = transform trans expr diff --git a/verifuzz.cabal b/verifuzz.cabal index edf1d5e..af56a92 100644 --- a/verifuzz.cabal +++ b/verifuzz.cabal @@ -90,7 +90,7 @@ test-suite verifuzz-test build-depends: base >= 4 && < 5 , verifuzz >=0.1 && <0.2 , fgl >=5.7 && <5.8 - , tasty >= 0.7 && <0.8 + , tasty >= 1.2 && <1.3 , tasty-hunit >= 0.10 && <0.11 , tasty-quickcheck >= 0.10 && <0.11 , lens >=4.17 && <4.18 |