Adding in-line config to invariant tests

[fabriziogianni7]

Description

In this lesson Patrick mentions the possibility of integrate inline config to make tests fail or don't fail on revert.

I discovered that foundry now allow this possibility

With this PR I'm just using foundry inline test config to make the ContinueOnRevert tests work.

Demo

See how we have all invariant tests working: some of them have 0 revert and others have some.

Other things

Additionally,

• I updated Solidity version to 0.8.25
• I updated version of cyfrin/foundry-devops to 0.1.0

I'm not sure that this updates will be ok in order to merge the PR - I did this because the project couldn't run on my mac otherwise

[fabriziogianni7]

About the error I got with 0.8.18 version of solidity:

solc exited with signal: 6 (SIGABRT)
dyld: Symbol not found: __ZNSt3__113basic_filebufIcNS_11char_traitsIcEEEC1Ev
  Referenced from: /Users/fabri/Library/Application Support/svm/0.8.18/solc-0.8.18 (which was built for Mac OS X 13.0)
  Expected in: /usr/lib/libc++.1.dylib

I think foundry get a wrong 0.8.18 for my mac! not sure how to address this

[PatrickAlphaC]

Thanks for this! Sorry on my delay here. Wondering, can you address the conflicts? I'd love to merge this.

[fabriziogianni7]

@PatrickAlphaC
I addressed the conflicts and additionally:

• updated solidity version on ERC20Mock to 0.8.25;
• StopOnRevertHandler had a small error: sometimes it was failing with this error: cannot overwrite a prank until it is applied at least once --> fixed small error in stopOnRevertHandler I commented vm.prank(msg.sender);. dunno if that was intended tho.

Please let me know if you have other things to point out!
Thanks!

[PatrickAlphaC]

Thank you!!

#73

I opened a new pr from your PR to change the solc version back to 0.8.19 - this is great!