3 ms·
Sure, A is at fault, but it only broke when B changed behavior.
by toast0 5d ago
Sure, A is at fault, but it only broke when B changed behavior.
- aw1621107 5d agoFair. I suppose that even in such a scenario you shouldn't need truly global analysis to prove safety - in principle an analysis of A should reveal the soundness precondition on a safe API - though that's probably easier said than done.