porosity
porosity copied to clipboard
The REVERT opcode is execution ending.
When generating graphviz output, if a block ends with REVERT
, porosity will link matching next block in the graph as if REVERT
doesn’t stop contract execution (as if execution continues after a revert opcode).