Debugging and testing gelmansim