Debugging multithreaded programs

The graphical debugger, debug(CP), can be used to debug multithreaded programs. See the sections on debugging in Programming in standard C and C++ for guidance on using debug.