PropertiesHelper: Investigation solutions to not collude with forge-st/Test.sol's assertion
Open
- Dominant language
- Solidity
- Stars
- 371
- Forks
- 59
- PR merge metrics
- No merged PRs in 30d
Description
Ex: maybe making a lib version?
See https://twitter.com/agfviggiano/status/1732328333105418326
Contributor guide
Research direction
Start by reviewing the interaction with forge-st/Test.sol and the linked discussion, then identify what “collude” means in the current assertion behavior. Compare the proposed library-version approach with other solutions and define a reproducible way to verify that the properties no longer depend on the assertion implementation.
Written by the indexing model from the issue text.
Assessment
- Tech stack
- solidity
- Domain
- security, testing-qa
- Issue type
- Feature
- Difficulty
- 5/5
- Estimated time
- Over a week
- Activity status
- Stale
- Clarity
- Needs clarification
- Newbie friendliness
- 25/100