From f370281e10687c9526b907d24ab7bd6fa1f34403 Mon Sep 17 00:00:00 2001 From: ggrieco-tob Date: Fri, 9 Sep 2022 15:53:34 +0200 Subject: [PATCH] Echidna 2.0.3 --- default.nix | 2 +- package.yaml | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/default.nix b/default.nix index 489906e0..c312f79a 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 48624266..97d715d4 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