A testing framework for C