Proof of passing tests for grading