| /home/adavid/UPPAAL/trunk/server/modules/debug/c_allocator.c | |
| /home/adavid/UPPAAL/trunk/server/modules/debug/new.cpp | |
| /home/adavid/UPPAAL/trunk/server/modules/debug/utils.cpp | |
| /home/adavid/UPPAAL/trunk/server/modules/debug/tests/testnew.cpp | |
| /home/adavid/UPPAAL/trunk/server/modules/debug/tests/testutils.c | |
| /home/adavid/UPPAAL/trunk/server/modules/include/debug/c_allocator.h [code] | Implementation of a particular allocator_t to check for memory leaks when testing |
| /home/adavid/UPPAAL/trunk/server/modules/include/debug/macros.h [code] | |
| /home/adavid/UPPAAL/trunk/server/modules/include/debug/malloc.h [code] | |
| /home/adavid/UPPAAL/trunk/server/modules/include/debug/monitor.h [code] | |
| /home/adavid/UPPAAL/trunk/server/modules/include/debug/new.h [code] | Monitor all new/delete operator calls |
| /home/adavid/UPPAAL/trunk/server/modules/include/debug/utils.h [code] | |
