3 ms·If the requirements change then the code is changed and the invariants are updated as necessary.by bmm6o 4y agoIf the requirements change then the code is changed and the invariants are updated as necessary.