added tests for ReservationManager