Echidna 1.7.3 (#699)

Author: gustavo-grieco

CHANGELOG.md

@@ -1,5 +1,14 @@
 ## TODO
 
+## 1.7.3
+
+* Removed old compilation artifacts before starting a new fuzzing campaign (#697)
+* Fixed incorrect function filtering when using assertion mode (#695)
+* Improved handling of negative constants (#683)
+* Updated hevm to 0.48.0 (#691)
+* Removed nix workaround for Slither (#680)
+* Fixed source printing when some lines are not covered (#678)
+
 ## 1.7.2
 
 * Fixed check-asserts and multi-abi cli switches (#665)

package.yaml

@@ -3,7 +3,7 @@ name: echidna
 author: Trail of Bits <[email protected]>
 maintainer: Trail of Bits <[email protected]>
 
-version: 1.7.2
+version: 1.7.3
 
 ghc-options: -Wall -fno-warn-orphans -O2 -threaded +RTS -N -RTS