From 319ed43ce68c8a08f479c214c0b909f734c6ee09 Mon Sep 17 00:00:00 2001 From: Gustavo Grieco <31542053+ggrieco-tob@users.noreply.github.com> Date: Fri, 26 Feb 2021 14:35:36 -0300 Subject: [PATCH 1/3] Update package.yaml --- package.yaml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/package.yaml b/package.yaml index dc889b686..e5bbf61dd 100644 --- a/package.yaml +++ b/package.yaml @@ -3,7 +3,7 @@ name: echidna author: Trail of Bits maintainer: Trail of Bits -version: 1.6.1 +version: 1.7.0 ghc-options: -Wall -fno-warn-orphans -O2 -threaded +RTS -N -RTS From be9f6870e112b85a811351a24f4460625c159396 Mon Sep 17 00:00:00 2001 From: Gustavo Grieco <31542053+ggrieco-tob@users.noreply.github.com> Date: Fri, 26 Feb 2021 16:09:29 -0300 Subject: [PATCH 2/3] Update CHANGELOG.md --- CHANGELOG.md | 11 +++++++++++ 1 file changed, 11 insertions(+) diff --git a/CHANGELOG.md b/CHANGELOG.md index 181ca623f..c9e10c72f 100644 --- a/CHANGELOG.md +++ b/CHANGELOG.md @@ -1,5 +1,16 @@ ## TODO +## 1.7.0 + +* Refactored and improved etheno support to be more useful (#615) +* Coverage filenames are not overwritten (#620) +* Refactored the mutator code (#618) +* More corpus and array mutations implemented (#372) +* Source coverage is printed after fuzzing campaign (#516) +* Nix improvements and fixes (#603, #604, #608, #612) +* Simplified slither information parsing (#543) +* Run echidna tests in parallel (#571) + ## 1.6.1 * Use a sensible default value for `block.gaslimit` (#596) From 3427846804349588bbff2b040e92850aa8d52231 Mon Sep 17 00:00:00 2001 From: Gustavo Grieco <31542053+ggrieco-tob@users.noreply.github.com> Date: Fri, 26 Feb 2021 16:42:25 -0300 Subject: [PATCH 3/3] Update CHANGELOG.md --- CHANGELOG.md | 1 + 1 file changed, 1 insertion(+) diff --git a/CHANGELOG.md b/CHANGELOG.md index c9e10c72f..9301fb3b4 100644 --- a/CHANGELOG.md +++ b/CHANGELOG.md @@ -9,6 +9,7 @@ * Source coverage is printed after fuzzing campaign (#516) * Nix improvements and fixes (#603, #604, #608, #612) * Simplified slither information parsing (#543) +* Enabled use of coverage by default (#605) * Run echidna tests in parallel (#571) ## 1.6.1