This for sharing — this is interesting. It looks like the Mi 8 is outputting carrier frequency (CarrierFrequencyHz/CarrierFreqHz) in the GNSS raw measurements Android object (https://developer.android.com/reference/android/location/GnssMeasurement), but not the more general GnssStatus object (https://developer.android.com/reference/android/location/GnssStatus), which is where GPSTest pulls the data from.