User manual

165
and XXDP – these test packages are pretty different and they are using different test
algorithms which facilitate bug hunting.
Debug trace facility is described in details in sections (4.21).