Testing Gitenvy