how to run coverage

forge coverage --no-match-coverage "(script|test|Foo|Bar|validator|sdk|signer)" --report lcov && genhtml lcov.info --output-directory coverage --ignore-errors inconsistent --ignore-errors corrupt

and

open coverage/index.html

TODO

• Testing
  • certora testing
  • unit test coverage 100%
    • almost?
  • halmos testing

Kernel V4

• native v0.8 support
  • factory update, needs to consider 7702 context
  • eip712 userOpHash support
• native 7702 support
  • test
• 7579 account
  • erc7821 execute interface
  • execute with signature
• enable mode
  • allow installing modules
  • allow multichain replay signature
• permission validation method
• signature replay
  • multichain replay
• install with signature