The file `check_result.py` has no test cases. Test cases for this file should be added so that the `gatorgrade` coverage can be improved.