5.7 Debugging a test case

These are the kinds of debugging information available from DejaGnu: