34bf32866b
Corresponding tests for K1 are no longer generated, so there is no need to ignore them anymore
Corresponding tests for K1 are no longer generated, so there is no need to ignore them anymore