Debug _verified_ ✨

When we say "debug," most people think of breakpoints. That is a part of it, but the modern debug toolchain is vast.

| Type | Description | |------|-------------| | | Code violates language rules (e.g., missing semicolon). | | Runtime Errors | Code crashes during execution (e.g., division by zero). | | Logic Errors | Code runs but produces wrong results (e.g., off-by-one in loop). | | Concurrency Bugs | Issues from multiple threads accessing shared data (e.g., deadlock). | | Performance Bugs | Code works but is too slow or memory-intensive. | When we say "debug," most people think of breakpoints