Hello, when I use APER to detect the apk in ARPfix dataset, I ran the buggy version and fixed version of SkyMap separately, but the running result is the same.

Also, I wonder if the apk is considered free of Type-1 bugs only when all options are "true" instead of "None".