Tool for mutation testing of C programs