The article mentions using breakpoints, so they did use a debugger.