0xPhaze

Add in remappings.txt ``` /=src/ ``` and make test imports absolute?

Hi Gabi, thanks for your interest and for reporting this. I can't reproduce the issue myself. Everything seems to be working as expected on the latest foundry version. Or perhaps...

Since I got lost in this and a few other open issues: https://github.com/lzanini/mdbook-katex works well.

Adding a fixed gas limit technically would be breaking though. Thanks for pointing out the similarities to ERC-165. A perhaps relevant discussion is https://github.com/OpenZeppelin/openzeppelin-contracts/issues/1750.

Re-opening this, because I think this is an important feature. Without this we are unable to give the guarantee that a certain function was even executed in the first place.

I'm not sure I exactly understand what you mean. Imo the danger of a user getting a false sense of security would come from accidentally selecting an incorrect testing mode,...

I'm suggesting that there just is no different mode. Assertions should be validated as with in the assertion mode and if one `echidna_` function is added, then that should additionally...

Are you differentiating exploration and assertion mode? I would have assumed that the default should just be assertion mode. Perhaps if no assertions are detected then it just becomes exploration...

+1 here. I was just going to create an issue for this. Knowing how many runs it took to break an invariant is important information.

What doesn't work? I haven't tried it myself, but I imagine it should be quite easy to adapt. Can you adapt the example here to work with transparent proxies? -...