I'd love an AST-based mutation tester for Solidity. Basically, the tool would make contract source code changes and check if tests fail. Perks:
Most thorough code coverage metric
Easy to understand what changed
Recommends better practices
Mutation tester for Ruby
pic.twitter.com/zJNlQj9ZgE
-
-
People talk a lot about formal verification for smart contracts. IMO, the more formality packed into a language, the harder it gets for less experienced devs. This is fine, but it caps how effective a tool can be. If you can write tests though you can use mutation testing.
Show this threadThanks. Twitter will use this to make your timeline better. UndoUndo
-
Loading seems to be taking a while.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.
Permissions: Try to remove every function modifier
Error handling: Prefer .transfer() over .call.value()
Bug finding: Tweak int literals to find off by one errors
Data types: Do you need uint256?
Visibility: Can this be private?