removeBeneficiary in InheritanceManage.sol breaks the protocol's invariant .
removeBeneficiary in InheritanceManage.sol does not reset the 90 days timer after removing beneficiary from "beneficiaries" mapping.
Breaking of Invariants.
Manual review.
removeBeneficiary must call " _setDeadline()" after removing beneficiary.
The contest is live. Earn rewards by submitting a finding.
This is your time to appeal against judgements on your submissions.
Appeals are being carefully reviewed by our judges.