Echidna 2.0.3

2 years ago · f370281e10
parent 528c9683f2
commit f370281e10
2 changed files with 2 additions and 2 deletions
--- a/default.nix
+++ b/default.nix
@ -34,7 +34,7 @@ let
    '';
  };

-  v = "2.0.2";
+  v = "2.0.3";

  testInputs = [ newerPkgs.slither-analyzer solc ];

--- a/package.yaml
+++ b/package.yaml
@ -3,7 +3,7 @@ name: echidna
 author: Trail of Bits <echidna-dev@trailofbits.com>
 maintainer: Trail of Bits <echidna-dev@trailofbits.com>

-version: 2.0.2
+version: 2.0.3

 ghc-options: -Wall -fno-warn-orphans -O2 -threaded +RTS -N -RTS