all tests of BerkleyX autograding are passing