yes, passively passed. they are independent flags from the perspective of configuration. while hardware-wise i'm unaware of any system which has avx512 but not avx2, there's no ripple checking done so if the code assumes avx512 means avx2, the flag for avx2 wouldn't have been set and the test wouldn't have been run