Closed florian1345 closed 3 years ago
Implemented the killer constraint, including test cases. Changed RevertInfo's ownership to be transferred to the constraint in revert(...).
Implemented the killer constraint, including test cases. Changed RevertInfo's ownership to be transferred to the constraint in revert(...).