Bug reports of failing tests need to include diagnostic output. If there's a segfault, a backtrace is very useful. The shorter the PIR/C snippet required to reproduce the error, the better. All SKIPs and TODOs in tests need ticket numbers. -- c