diff options
-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 |