diff --git a/CHANGELOG.md b/CHANGELOG.md index 24db3ae53..06cc26dc7 100644 --- a/CHANGELOG.md +++ b/CHANGELOG.md @@ -10,8 +10,8 @@ and this project adheres to [Semantic Versioning](https://semver.org/spec/v2.0.0 - More complete and precise array/mapping slot rewrite, along with a copySlice improvement - Use a let expression in copySlice to decrease expression size - The `--debug` flag now dumps the internal expressions as well -- hevm now uses the std-forge library's way of detecting failures, i.e. through - reverting with a specific error code +- hevm now uses the forge-std library's way of detecting failures, i.e. through + reverting with a specific error code unless --assertion-type DSTest is passed ## Added - More POr and PAnd rules