File numerics/src/tools/debug.h

Go to the source code of this file

Some debug facilities.

Variables

unsigned int debug_counter