3 ms·
IIRC invariants are pre-conditions and post-conditions, the context/state before and after an instruction/function is executed.
by simjnd 3y ago
IIRC invariants are pre-conditions and post-conditions, the context/state before and after an instruction/function is executed.