Echidna 2.0.1 (#744)

* Update CHANGELOG.md

* prepare for 2.0.1

* Update default.nix

* updated changelog

* updated changelog
dev-setUp-for-all v2.0.1
Gustavo Grieco 3 years ago committed by GitHub
parent 83a3189b0a
commit a31a9c2705
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
  1. 12
      CHANGELOG.md
  2. 2
      default.nix
  3. 2
      package.yaml

@ -1,5 +1,17 @@
## TODO
## 2.0.1
* Optimized stateless mutators (#747)
* Expanded and improved command-line help (#741)
* Added dapptest support: compatibility mode to run foundry and dapptool fuzz tests (#733, #745)
* Generate more values closer to the maximum (#736)
* Fix TERMINFO path for Nix release builds (#731)
* Mitigate large memory consumption when replaying corpus (#725)
* Fix --shrink-limit to change shrink limit instead of test limit (#728)
* Correctly show lines with multiple types of coverage
* Restored nix support (#717, #743)
## 2.0.0
* Refactored test internal data structures and code

@ -29,7 +29,7 @@ let
'';
};
v = "2.0.0";
v = "2.0.1";
testInputs = [ pkgs.slither-analyzer solc ];

@ -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.0
version: 2.0.1
ghc-options: -Wall -fno-warn-orphans -O2 -threaded +RTS -N -RTS

Loading…
Cancel
Save