/// @custom SAFETY: When finalizing the update to the MevEthShareVault, make sure to grant any remaining rewards from the existing share vault.
emit MevEthShareVaultUpdateFinalized(mevEthShareVault, address(pendingMevEthShareVault));
Example of using custom for protected variable id for analysis detector
dappspec
custom natspec identifiersPreviously we have used a few
@custom:
natspec directives, I have them documented here: https://github.com/sambacha/dappspec#motivationin the
MevEth.sol
contractExample of using custom for protected variable id for analysis detector
Additionally the natspec comment must be of the syntax
@custom:safety