Guillermo Larregay

For completeness: | \# | Name | Solved with Echidna | Echidna | Filed Issue | Notes | | --- | ---------------- |:-------------------:|:---------------:| -------------------------------------------- | ------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------ | | 01 |...

Not necessarily. I fixed the example. Anyway, as I said, it's just a general idea and not a proper reproducer. I'm working on private code.

Hey, thanks for your submission! This is an interesting point. I'll test this and the PR locally and get back to you.

Hey @beber89, sorry for the delay. I ran some tests on this issue, thanks again for bringing it up. The way that the `add` and `sub` functions are implemented in...

@montyly the discussion for this PR was taking place [here](https://github.com/crytic/properties/issues/13)

I think @ggrieco-tob will have a more accurate answer, but here's my take. Having exercise numbers can make it easier to organize them and give people a feeling of progression...

I left some comments inlined in the file. I like the "hidden parts" approach and the way you introduce the invariants and properties. Great work, and thanks for your collaboration!