Skip to content

Commit

Permalink
Update CHANGELOG.md
Browse files Browse the repository at this point in the history
Co-authored-by: Emilio López <[email protected]>
  • Loading branch information
msooseth and elopez authored Jan 6, 2025
1 parent 748ca99 commit 7e52305
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion CHANGELOG.md
Original file line number Diff line number Diff line change
Expand Up @@ -6,7 +6,7 @@ The format is based on [Keep a Changelog](https://keepachangelog.com/en/1.0.0/),
and this project adheres to [Semantic Versioning](https://semver.org/spec/v2.0.0.html).

## Added
- When a staticcall is made to a contract that does not exist, we overapproxiate
- When a staticcall is made to a contract that does not exist, we overapproximate
and return symbolic values

## Fixed
Expand Down

0 comments on commit 7e52305

Please sign in to comment.