When integrating https://github.com/crytic/properties with an existing foundry codebase, many assertion helpers collide with forge-std/Test.sol, which makes it harder to use both helpers on the same set of contracts.
For example, this repo's assertWithMsg from this repo serves the same purpose as foundry's assertTrue, so they could have the same name. Also, one uses assertGte while the other uses assertGe, etc.
It would be nice if this repo was fully compatible with foundry for an easier integration.
Describe the desired feature or improvement
When integrating https://github.com/crytic/properties with an existing foundry codebase, many assertion helpers collide with
forge-std/Test.sol, which makes it harder to use both helpers on the same set of contracts.For example, this repo's
assertWithMsgfrom this repo serves the same purpose as foundry'sassertTrue, so they could have the same name. Also, one usesassertGtewhile the other usesassertGe, etc.It would be nice if this repo was fully compatible with foundry for an easier integration.