Doxygen for C test infrastructure