A unit testing framework for RobotC