diff --git a/default.nix b/default.nix index 489906e0e..c312f79a2 100644 --- a/default.nix +++ b/default.nix @@ -34,7 +34,7 @@ let ''; }; - v = "2.0.2"; + v = "2.0.3"; testInputs = [ newerPkgs.slither-analyzer solc ]; diff --git a/package.yaml b/package.yaml index 48624266a..97d715d48 100644 --- a/package.yaml +++ b/package.yaml @@ -3,7 +3,7 @@ name: echidna author: Trail of Bits maintainer: Trail of Bits -version: 2.0.2 +version: 2.0.3 ghc-options: -Wall -fno-warn-orphans -O2 -threaded +RTS -N -RTS