Invariants: A Better Debugger? - Marc’s Blog

cs