This is check50, a command-line program with which you can check the correctness of your programs. - View it on GitHub