Automated testing framework for C