update gadt test