Assertion list for term "reverted".

Results from Ascent++: 4
change ReceivesActionreverted 0.59
file ReceivesActionreverted 0.47
fix ReceivesActionreverted 0.29
block ReceivesActionreverted 0.29