I would further include the example of vm.mockCall. Imo it is a big red flag if seen in tests. It has similar issues to vm.prank, however it further completely bypasses any business-logic and can easily break assumptions.
I think this should be part of another document on good testing practice, so we can discuss cheat codes that are not implemented in hevm/echidna.
I think this should be part of another document on good testing practice, so we can discuss cheat codes that are not implemented in hevm/echidna.