[successes_ML-KEM.tentative.https.any.html]
  [Success: generateKey(ML-KEM-512, false, [decapsulateBits\])]
    expected: FAIL

  [Success: generateKey(ML-KEM-512, true, [decapsulateBits\])]
    expected: FAIL

  [Success: generateKey(ML-KEM-512, false, [decapsulateKey, decapsulateBits\])]
    expected: FAIL

  [Success: generateKey(ML-KEM-512, true, [decapsulateKey, decapsulateBits\])]
    expected: FAIL

  [Success: generateKey(ML-KEM-512, false, [encapsulateBits, decapsulateKey, decapsulateBits\])]
    expected: FAIL

  [Success: generateKey(ML-KEM-512, true, [encapsulateBits, decapsulateKey, decapsulateBits\])]
    expected: FAIL

  [Success: generateKey(ML-KEM-512, false, [encapsulateKey, encapsulateBits, decapsulateKey, decapsulateBits\])]
    expected: FAIL

  [Success: generateKey(ML-KEM-512, true, [encapsulateKey, encapsulateBits, decapsulateKey, decapsulateBits\])]
    expected: FAIL

  [Success: generateKey(ML-KEM-512, false, [encapsulateKey, decapsulateKey, decapsulateBits\])]
    expected: FAIL

  [Success: generateKey(ML-KEM-512, true, [encapsulateKey, decapsulateKey, decapsulateBits\])]
    expected: FAIL

  [Success: generateKey(ML-KEM-512, false, [encapsulateBits, decapsulateBits\])]
    expected: FAIL

  [Success: generateKey(ML-KEM-512, true, [encapsulateBits, decapsulateBits\])]
    expected: FAIL

  [Success: generateKey(ML-KEM-512, false, [encapsulateKey, encapsulateBits, decapsulateBits\])]
    expected: FAIL

  [Success: generateKey(ML-KEM-512, true, [encapsulateKey, encapsulateBits, decapsulateBits\])]
    expected: FAIL

  [Success: generateKey(ML-KEM-512, false, [encapsulateKey, decapsulateBits\])]
    expected: FAIL

  [Success: generateKey(ML-KEM-512, true, [encapsulateKey, decapsulateBits\])]
    expected: FAIL

  [Success: generateKey(ML-KEM-512, false, [decapsulateKey\])]
    expected: FAIL

  [Success: generateKey(ML-KEM-512, true, [decapsulateKey\])]
    expected: FAIL

  [Success: generateKey(ML-KEM-512, false, [encapsulateBits, decapsulateKey\])]
    expected: FAIL

  [Success: generateKey(ML-KEM-512, true, [encapsulateBits, decapsulateKey\])]
    expected: FAIL

  [Success: generateKey(ML-KEM-512, false, [encapsulateKey, encapsulateBits, decapsulateKey\])]
    expected: FAIL

  [Success: generateKey(ML-KEM-512, true, [encapsulateKey, encapsulateBits, decapsulateKey\])]
    expected: FAIL

  [Success: generateKey(ML-KEM-512, false, [encapsulateKey, decapsulateKey\])]
    expected: FAIL

  [Success: generateKey(ML-KEM-512, true, [encapsulateKey, decapsulateKey\])]
    expected: FAIL

  [Success: generateKey(ML-KEM-512, false, [decapsulateBits, decapsulateKey, encapsulateBits, encapsulateKey, decapsulateBits, decapsulateKey, decapsulateBits, decapsulateKey, encapsulateBits, encapsulateKey\])]
    expected: FAIL

  [Success: generateKey(ML-KEM-512, true, [decapsulateBits, decapsulateKey, encapsulateBits, encapsulateKey, decapsulateBits, decapsulateKey, decapsulateBits, decapsulateKey, encapsulateBits, encapsulateKey\])]
    expected: FAIL

  [Success: generateKey({name: ML-KEM-512}, false, [decapsulateBits\])]
    expected: FAIL

  [Success: generateKey({name: ML-KEM-512}, true, [decapsulateBits\])]
    expected: FAIL

  [Success: generateKey({name: ML-KEM-512}, false, [decapsulateKey, decapsulateBits\])]
    expected: FAIL

  [Success: generateKey({name: ML-KEM-512}, true, [decapsulateKey, decapsulateBits\])]
    expected: FAIL

  [Success: generateKey({name: ML-KEM-512}, false, [encapsulateBits, decapsulateKey, decapsulateBits\])]
    expected: FAIL

  [Success: generateKey({name: ML-KEM-512}, true, [encapsulateBits, decapsulateKey, decapsulateBits\])]
    expected: FAIL

  [Success: generateKey({name: ML-KEM-512}, false, [encapsulateKey, encapsulateBits, decapsulateKey, decapsulateBits\])]
    expected: FAIL

  [Success: generateKey({name: ML-KEM-512}, true, [encapsulateKey, encapsulateBits, decapsulateKey, decapsulateBits\])]
    expected: FAIL

  [Success: generateKey({name: ML-KEM-512}, false, [encapsulateKey, decapsulateKey, decapsulateBits\])]
    expected: FAIL

  [Success: generateKey({name: ML-KEM-512}, true, [encapsulateKey, decapsulateKey, decapsulateBits\])]
    expected: FAIL

  [Success: generateKey({name: ML-KEM-512}, false, [encapsulateBits, decapsulateBits\])]
    expected: FAIL

  [Success: generateKey({name: ML-KEM-512}, true, [encapsulateBits, decapsulateBits\])]
    expected: FAIL

  [Success: generateKey({name: ML-KEM-512}, false, [encapsulateKey, encapsulateBits, decapsulateBits\])]
    expected: FAIL

  [Success: generateKey({name: ML-KEM-512}, true, [encapsulateKey, encapsulateBits, decapsulateBits\])]
    expected: FAIL

  [Success: generateKey({name: ML-KEM-512}, false, [encapsulateKey, decapsulateBits\])]
    expected: FAIL

  [Success: generateKey({name: ML-KEM-512}, true, [encapsulateKey, decapsulateBits\])]
    expected: FAIL

  [Success: generateKey({name: ML-KEM-512}, false, [decapsulateKey\])]
    expected: FAIL

  [Success: generateKey({name: ML-KEM-512}, true, [decapsulateKey\])]
    expected: FAIL

  [Success: generateKey({name: ML-KEM-512}, false, [encapsulateBits, decapsulateKey\])]
    expected: FAIL

  [Success: generateKey({name: ML-KEM-512}, true, [encapsulateBits, decapsulateKey\])]
    expected: FAIL

  [Success: generateKey({name: ML-KEM-512}, false, [encapsulateKey, encapsulateBits, decapsulateKey\])]
    expected: FAIL

  [Success: generateKey({name: ML-KEM-512}, true, [encapsulateKey, encapsulateBits, decapsulateKey\])]
    expected: FAIL

  [Success: generateKey({name: ML-KEM-512}, false, [encapsulateKey, decapsulateKey\])]
    expected: FAIL

  [Success: generateKey({name: ML-KEM-512}, true, [encapsulateKey, decapsulateKey\])]
    expected: FAIL

  [Success: generateKey({name: ML-KEM-512}, false, [decapsulateBits, decapsulateKey, encapsulateBits, encapsulateKey, decapsulateBits, decapsulateKey, decapsulateBits, decapsulateKey, encapsulateBits, encapsulateKey\])]
    expected: FAIL

  [Success: generateKey({name: ML-KEM-512}, true, [decapsulateBits, decapsulateKey, encapsulateBits, encapsulateKey, decapsulateBits, decapsulateKey, decapsulateBits, decapsulateKey, encapsulateBits, encapsulateKey\])]
    expected: FAIL

  [Success: generateKey(ml-kem-512, false, [decapsulateBits\])]
    expected: FAIL

  [Success: generateKey(ml-kem-512, true, [decapsulateBits\])]
    expected: FAIL

  [Success: generateKey(ml-kem-512, false, [decapsulateKey, decapsulateBits\])]
    expected: FAIL

  [Success: generateKey(ml-kem-512, true, [decapsulateKey, decapsulateBits\])]
    expected: FAIL

  [Success: generateKey(ml-kem-512, false, [encapsulateBits, decapsulateKey, decapsulateBits\])]
    expected: FAIL

  [Success: generateKey(ml-kem-512, true, [encapsulateBits, decapsulateKey, decapsulateBits\])]
    expected: FAIL

  [Success: generateKey(ml-kem-512, false, [encapsulateKey, encapsulateBits, decapsulateKey, decapsulateBits\])]
    expected: FAIL

  [Success: generateKey(ml-kem-512, true, [encapsulateKey, encapsulateBits, decapsulateKey, decapsulateBits\])]
    expected: FAIL

  [Success: generateKey(ml-kem-512, false, [encapsulateKey, decapsulateKey, decapsulateBits\])]
    expected: FAIL

  [Success: generateKey(ml-kem-512, true, [encapsulateKey, decapsulateKey, decapsulateBits\])]
    expected: FAIL

  [Success: generateKey(ml-kem-512, false, [encapsulateBits, decapsulateBits\])]
    expected: FAIL

  [Success: generateKey(ml-kem-512, true, [encapsulateBits, decapsulateBits\])]
    expected: FAIL

  [Success: generateKey(ml-kem-512, false, [encapsulateKey, encapsulateBits, decapsulateBits\])]
    expected: FAIL

  [Success: generateKey(ml-kem-512, true, [encapsulateKey, encapsulateBits, decapsulateBits\])]
    expected: FAIL

  [Success: generateKey(ml-kem-512, false, [encapsulateKey, decapsulateBits\])]
    expected: FAIL

  [Success: generateKey(ml-kem-512, true, [encapsulateKey, decapsulateBits\])]
    expected: FAIL

  [Success: generateKey(ml-kem-512, false, [decapsulateKey\])]
    expected: FAIL

  [Success: generateKey(ml-kem-512, true, [decapsulateKey\])]
    expected: FAIL

  [Success: generateKey(ml-kem-512, false, [encapsulateBits, decapsulateKey\])]
    expected: FAIL

  [Success: generateKey(ml-kem-512, true, [encapsulateBits, decapsulateKey\])]
    expected: FAIL

  [Success: generateKey(ml-kem-512, false, [encapsulateKey, encapsulateBits, decapsulateKey\])]
    expected: FAIL

  [Success: generateKey(ml-kem-512, true, [encapsulateKey, encapsulateBits, decapsulateKey\])]
    expected: FAIL

  [Success: generateKey(ml-kem-512, false, [encapsulateKey, decapsulateKey\])]
    expected: FAIL

  [Success: generateKey(ml-kem-512, true, [encapsulateKey, decapsulateKey\])]
    expected: FAIL

  [Success: generateKey(ml-kem-512, false, [decapsulateBits, decapsulateKey, encapsulateBits, encapsulateKey, decapsulateBits, decapsulateKey, decapsulateBits, decapsulateKey, encapsulateBits, encapsulateKey\])]
    expected: FAIL

  [Success: generateKey(ml-kem-512, true, [decapsulateBits, decapsulateKey, encapsulateBits, encapsulateKey, decapsulateBits, decapsulateKey, decapsulateBits, decapsulateKey, encapsulateBits, encapsulateKey\])]
    expected: FAIL

  [Success: generateKey({name: ml-kem-512}, false, [decapsulateBits\])]
    expected: FAIL

  [Success: generateKey({name: ml-kem-512}, true, [decapsulateBits\])]
    expected: FAIL

  [Success: generateKey({name: ml-kem-512}, false, [decapsulateKey, decapsulateBits\])]
    expected: FAIL

  [Success: generateKey({name: ml-kem-512}, true, [decapsulateKey, decapsulateBits\])]
    expected: FAIL

  [Success: generateKey({name: ml-kem-512}, false, [encapsulateBits, decapsulateKey, decapsulateBits\])]
    expected: FAIL

  [Success: generateKey({name: ml-kem-512}, true, [encapsulateBits, decapsulateKey, decapsulateBits\])]
    expected: FAIL

  [Success: generateKey({name: ml-kem-512}, false, [encapsulateKey, encapsulateBits, decapsulateKey, decapsulateBits\])]
    expected: FAIL

  [Success: generateKey({name: ml-kem-512}, true, [encapsulateKey, encapsulateBits, decapsulateKey, decapsulateBits\])]
    expected: FAIL

  [Success: generateKey({name: ml-kem-512}, false, [encapsulateKey, decapsulateKey, decapsulateBits\])]
    expected: FAIL

  [Success: generateKey({name: ml-kem-512}, true, [encapsulateKey, decapsulateKey, decapsulateBits\])]
    expected: FAIL

  [Success: generateKey({name: ml-kem-512}, false, [encapsulateBits, decapsulateBits\])]
    expected: FAIL

  [Success: generateKey({name: ml-kem-512}, true, [encapsulateBits, decapsulateBits\])]
    expected: FAIL

  [Success: generateKey({name: ml-kem-512}, false, [encapsulateKey, encapsulateBits, decapsulateBits\])]
    expected: FAIL

  [Success: generateKey({name: ml-kem-512}, true, [encapsulateKey, encapsulateBits, decapsulateBits\])]
    expected: FAIL

  [Success: generateKey({name: ml-kem-512}, false, [encapsulateKey, decapsulateBits\])]
    expected: FAIL

  [Success: generateKey({name: ml-kem-512}, true, [encapsulateKey, decapsulateBits\])]
    expected: FAIL

  [Success: generateKey({name: ml-kem-512}, false, [decapsulateKey\])]
    expected: FAIL

  [Success: generateKey({name: ml-kem-512}, true, [decapsulateKey\])]
    expected: FAIL

  [Success: generateKey({name: ml-kem-512}, false, [encapsulateBits, decapsulateKey\])]
    expected: FAIL

  [Success: generateKey({name: ml-kem-512}, true, [encapsulateBits, decapsulateKey\])]
    expected: FAIL

  [Success: generateKey({name: ml-kem-512}, false, [encapsulateKey, encapsulateBits, decapsulateKey\])]
    expected: FAIL

  [Success: generateKey({name: ml-kem-512}, true, [encapsulateKey, encapsulateBits, decapsulateKey\])]
    expected: FAIL

  [Success: generateKey({name: ml-kem-512}, false, [encapsulateKey, decapsulateKey\])]
    expected: FAIL

  [Success: generateKey({name: ml-kem-512}, true, [encapsulateKey, decapsulateKey\])]
    expected: FAIL

  [Success: generateKey({name: ml-kem-512}, false, [decapsulateBits, decapsulateKey, encapsulateBits, encapsulateKey, decapsulateBits, decapsulateKey, decapsulateBits, decapsulateKey, encapsulateBits, encapsulateKey\])]
    expected: FAIL

  [Success: generateKey({name: ml-kem-512}, true, [decapsulateBits, decapsulateKey, encapsulateBits, encapsulateKey, decapsulateBits, decapsulateKey, decapsulateBits, decapsulateKey, encapsulateBits, encapsulateKey\])]
    expected: FAIL

  [Success: generateKey(Ml-kem-512, false, [decapsulateBits\])]
    expected: FAIL

  [Success: generateKey(Ml-kem-512, true, [decapsulateBits\])]
    expected: FAIL

  [Success: generateKey(Ml-kem-512, false, [decapsulateKey, decapsulateBits\])]
    expected: FAIL

  [Success: generateKey(Ml-kem-512, true, [decapsulateKey, decapsulateBits\])]
    expected: FAIL

  [Success: generateKey(Ml-kem-512, false, [encapsulateBits, decapsulateKey, decapsulateBits\])]
    expected: FAIL

  [Success: generateKey(Ml-kem-512, true, [encapsulateBits, decapsulateKey, decapsulateBits\])]
    expected: FAIL

  [Success: generateKey(Ml-kem-512, false, [encapsulateKey, encapsulateBits, decapsulateKey, decapsulateBits\])]
    expected: FAIL

  [Success: generateKey(Ml-kem-512, true, [encapsulateKey, encapsulateBits, decapsulateKey, decapsulateBits\])]
    expected: FAIL

  [Success: generateKey(Ml-kem-512, false, [encapsulateKey, decapsulateKey, decapsulateBits\])]
    expected: FAIL

  [Success: generateKey(Ml-kem-512, true, [encapsulateKey, decapsulateKey, decapsulateBits\])]
    expected: FAIL

  [Success: generateKey(Ml-kem-512, false, [encapsulateBits, decapsulateBits\])]
    expected: FAIL

  [Success: generateKey(Ml-kem-512, true, [encapsulateBits, decapsulateBits\])]
    expected: FAIL

  [Success: generateKey(Ml-kem-512, false, [encapsulateKey, encapsulateBits, decapsulateBits\])]
    expected: FAIL

  [Success: generateKey(Ml-kem-512, true, [encapsulateKey, encapsulateBits, decapsulateBits\])]
    expected: FAIL

  [Success: generateKey(Ml-kem-512, false, [encapsulateKey, decapsulateBits\])]
    expected: FAIL

  [Success: generateKey(Ml-kem-512, true, [encapsulateKey, decapsulateBits\])]
    expected: FAIL

  [Success: generateKey(Ml-kem-512, false, [decapsulateKey\])]
    expected: FAIL

  [Success: generateKey(Ml-kem-512, true, [decapsulateKey\])]
    expected: FAIL

  [Success: generateKey(Ml-kem-512, false, [encapsulateBits, decapsulateKey\])]
    expected: FAIL

  [Success: generateKey(Ml-kem-512, true, [encapsulateBits, decapsulateKey\])]
    expected: FAIL

  [Success: generateKey(Ml-kem-512, false, [encapsulateKey, encapsulateBits, decapsulateKey\])]
    expected: FAIL

  [Success: generateKey(Ml-kem-512, true, [encapsulateKey, encapsulateBits, decapsulateKey\])]
    expected: FAIL

  [Success: generateKey(Ml-kem-512, false, [encapsulateKey, decapsulateKey\])]
    expected: FAIL

  [Success: generateKey(Ml-kem-512, true, [encapsulateKey, decapsulateKey\])]
    expected: FAIL

  [Success: generateKey(Ml-kem-512, false, [decapsulateBits, decapsulateKey, encapsulateBits, encapsulateKey, decapsulateBits, decapsulateKey, decapsulateBits, decapsulateKey, encapsulateBits, encapsulateKey\])]
    expected: FAIL

  [Success: generateKey(Ml-kem-512, true, [decapsulateBits, decapsulateKey, encapsulateBits, encapsulateKey, decapsulateBits, decapsulateKey, decapsulateBits, decapsulateKey, encapsulateBits, encapsulateKey\])]
    expected: FAIL

  [Success: generateKey({name: Ml-kem-512}, false, [decapsulateBits\])]
    expected: FAIL

  [Success: generateKey({name: Ml-kem-512}, true, [decapsulateBits\])]
    expected: FAIL

  [Success: generateKey({name: Ml-kem-512}, false, [decapsulateKey, decapsulateBits\])]
    expected: FAIL

  [Success: generateKey({name: Ml-kem-512}, true, [decapsulateKey, decapsulateBits\])]
    expected: FAIL

  [Success: generateKey({name: Ml-kem-512}, false, [encapsulateBits, decapsulateKey, decapsulateBits\])]
    expected: FAIL

  [Success: generateKey({name: Ml-kem-512}, true, [encapsulateBits, decapsulateKey, decapsulateBits\])]
    expected: FAIL

  [Success: generateKey({name: Ml-kem-512}, false, [encapsulateKey, encapsulateBits, decapsulateKey, decapsulateBits\])]
    expected: FAIL

  [Success: generateKey({name: Ml-kem-512}, true, [encapsulateKey, encapsulateBits, decapsulateKey, decapsulateBits\])]
    expected: FAIL

  [Success: generateKey({name: Ml-kem-512}, false, [encapsulateKey, decapsulateKey, decapsulateBits\])]
    expected: FAIL

  [Success: generateKey({name: Ml-kem-512}, true, [encapsulateKey, decapsulateKey, decapsulateBits\])]
    expected: FAIL

  [Success: generateKey({name: Ml-kem-512}, false, [encapsulateBits, decapsulateBits\])]
    expected: FAIL

  [Success: generateKey({name: Ml-kem-512}, true, [encapsulateBits, decapsulateBits\])]
    expected: FAIL

  [Success: generateKey({name: Ml-kem-512}, false, [encapsulateKey, encapsulateBits, decapsulateBits\])]
    expected: FAIL

  [Success: generateKey({name: Ml-kem-512}, true, [encapsulateKey, encapsulateBits, decapsulateBits\])]
    expected: FAIL

  [Success: generateKey({name: Ml-kem-512}, false, [encapsulateKey, decapsulateBits\])]
    expected: FAIL

  [Success: generateKey({name: Ml-kem-512}, true, [encapsulateKey, decapsulateBits\])]
    expected: FAIL

  [Success: generateKey({name: Ml-kem-512}, false, [decapsulateKey\])]
    expected: FAIL

  [Success: generateKey({name: Ml-kem-512}, true, [decapsulateKey\])]
    expected: FAIL

  [Success: generateKey({name: Ml-kem-512}, false, [encapsulateBits, decapsulateKey\])]
    expected: FAIL

  [Success: generateKey({name: Ml-kem-512}, true, [encapsulateBits, decapsulateKey\])]
    expected: FAIL

  [Success: generateKey({name: Ml-kem-512}, false, [encapsulateKey, encapsulateBits, decapsulateKey\])]
    expected: FAIL

  [Success: generateKey({name: Ml-kem-512}, true, [encapsulateKey, encapsulateBits, decapsulateKey\])]
    expected: FAIL

  [Success: generateKey({name: Ml-kem-512}, false, [encapsulateKey, decapsulateKey\])]
    expected: FAIL

  [Success: generateKey({name: Ml-kem-512}, true, [encapsulateKey, decapsulateKey\])]
    expected: FAIL

  [Success: generateKey({name: Ml-kem-512}, false, [decapsulateBits, decapsulateKey, encapsulateBits, encapsulateKey, decapsulateBits, decapsulateKey, decapsulateBits, decapsulateKey, encapsulateBits, encapsulateKey\])]
    expected: FAIL

  [Success: generateKey({name: Ml-kem-512}, true, [decapsulateBits, decapsulateKey, encapsulateBits, encapsulateKey, decapsulateBits, decapsulateKey, decapsulateBits, decapsulateKey, encapsulateBits, encapsulateKey\])]
    expected: FAIL

  [Success: generateKey(ML-KEM-768, false, [decapsulateBits\])]
    expected: FAIL

  [Success: generateKey(ML-KEM-768, true, [decapsulateBits\])]
    expected: FAIL

  [Success: generateKey(ML-KEM-768, false, [decapsulateKey, decapsulateBits\])]
    expected: FAIL

  [Success: generateKey(ML-KEM-768, true, [decapsulateKey, decapsulateBits\])]
    expected: FAIL

  [Success: generateKey(ML-KEM-768, false, [encapsulateBits, decapsulateKey, decapsulateBits\])]
    expected: FAIL

  [Success: generateKey(ML-KEM-768, true, [encapsulateBits, decapsulateKey, decapsulateBits\])]
    expected: FAIL

  [Success: generateKey(ML-KEM-768, false, [encapsulateKey, encapsulateBits, decapsulateKey, decapsulateBits\])]
    expected: FAIL

  [Success: generateKey(ML-KEM-768, true, [encapsulateKey, encapsulateBits, decapsulateKey, decapsulateBits\])]
    expected: FAIL

  [Success: generateKey(ML-KEM-768, false, [encapsulateKey, decapsulateKey, decapsulateBits\])]
    expected: FAIL

  [Success: generateKey(ML-KEM-768, true, [encapsulateKey, decapsulateKey, decapsulateBits\])]
    expected: FAIL

  [Success: generateKey(ML-KEM-768, false, [encapsulateBits, decapsulateBits\])]
    expected: FAIL

  [Success: generateKey(ML-KEM-768, true, [encapsulateBits, decapsulateBits\])]
    expected: FAIL

  [Success: generateKey(ML-KEM-768, false, [encapsulateKey, encapsulateBits, decapsulateBits\])]
    expected: FAIL

  [Success: generateKey(ML-KEM-768, true, [encapsulateKey, encapsulateBits, decapsulateBits\])]
    expected: FAIL

  [Success: generateKey(ML-KEM-768, false, [encapsulateKey, decapsulateBits\])]
    expected: FAIL

  [Success: generateKey(ML-KEM-768, true, [encapsulateKey, decapsulateBits\])]
    expected: FAIL

  [Success: generateKey(ML-KEM-768, false, [decapsulateKey\])]
    expected: FAIL

  [Success: generateKey(ML-KEM-768, true, [decapsulateKey\])]
    expected: FAIL

  [Success: generateKey(ML-KEM-768, false, [encapsulateBits, decapsulateKey\])]
    expected: FAIL

  [Success: generateKey(ML-KEM-768, true, [encapsulateBits, decapsulateKey\])]
    expected: FAIL

  [Success: generateKey(ML-KEM-768, false, [encapsulateKey, encapsulateBits, decapsulateKey\])]
    expected: FAIL

  [Success: generateKey(ML-KEM-768, true, [encapsulateKey, encapsulateBits, decapsulateKey\])]
    expected: FAIL

  [Success: generateKey(ML-KEM-768, false, [encapsulateKey, decapsulateKey\])]
    expected: FAIL

  [Success: generateKey(ML-KEM-768, true, [encapsulateKey, decapsulateKey\])]
    expected: FAIL

  [Success: generateKey(ML-KEM-768, false, [decapsulateBits, decapsulateKey, encapsulateBits, encapsulateKey, decapsulateBits, decapsulateKey, decapsulateBits, decapsulateKey, encapsulateBits, encapsulateKey\])]
    expected: FAIL

  [Success: generateKey(ML-KEM-768, true, [decapsulateBits, decapsulateKey, encapsulateBits, encapsulateKey, decapsulateBits, decapsulateKey, decapsulateBits, decapsulateKey, encapsulateBits, encapsulateKey\])]
    expected: FAIL

  [Success: generateKey({name: ML-KEM-768}, false, [decapsulateBits\])]
    expected: FAIL

  [Success: generateKey({name: ML-KEM-768}, true, [decapsulateBits\])]
    expected: FAIL

  [Success: generateKey({name: ML-KEM-768}, false, [decapsulateKey, decapsulateBits\])]
    expected: FAIL

  [Success: generateKey({name: ML-KEM-768}, true, [decapsulateKey, decapsulateBits\])]
    expected: FAIL

  [Success: generateKey({name: ML-KEM-768}, false, [encapsulateBits, decapsulateKey, decapsulateBits\])]
    expected: FAIL

  [Success: generateKey({name: ML-KEM-768}, true, [encapsulateBits, decapsulateKey, decapsulateBits\])]
    expected: FAIL

  [Success: generateKey({name: ML-KEM-768}, false, [encapsulateKey, encapsulateBits, decapsulateKey, decapsulateBits\])]
    expected: FAIL

  [Success: generateKey({name: ML-KEM-768}, true, [encapsulateKey, encapsulateBits, decapsulateKey, decapsulateBits\])]
    expected: FAIL

  [Success: generateKey({name: ML-KEM-768}, false, [encapsulateKey, decapsulateKey, decapsulateBits\])]
    expected: FAIL

  [Success: generateKey({name: ML-KEM-768}, true, [encapsulateKey, decapsulateKey, decapsulateBits\])]
    expected: FAIL

  [Success: generateKey({name: ML-KEM-768}, false, [encapsulateBits, decapsulateBits\])]
    expected: FAIL

  [Success: generateKey({name: ML-KEM-768}, true, [encapsulateBits, decapsulateBits\])]
    expected: FAIL

  [Success: generateKey({name: ML-KEM-768}, false, [encapsulateKey, encapsulateBits, decapsulateBits\])]
    expected: FAIL

  [Success: generateKey({name: ML-KEM-768}, true, [encapsulateKey, encapsulateBits, decapsulateBits\])]
    expected: FAIL

  [Success: generateKey({name: ML-KEM-768}, false, [encapsulateKey, decapsulateBits\])]
    expected: FAIL

  [Success: generateKey({name: ML-KEM-768}, true, [encapsulateKey, decapsulateBits\])]
    expected: FAIL

  [Success: generateKey({name: ML-KEM-768}, false, [decapsulateKey\])]
    expected: FAIL

  [Success: generateKey({name: ML-KEM-768}, true, [decapsulateKey\])]
    expected: FAIL

  [Success: generateKey({name: ML-KEM-768}, false, [encapsulateBits, decapsulateKey\])]
    expected: FAIL

  [Success: generateKey({name: ML-KEM-768}, true, [encapsulateBits, decapsulateKey\])]
    expected: FAIL

  [Success: generateKey({name: ML-KEM-768}, false, [encapsulateKey, encapsulateBits, decapsulateKey\])]
    expected: FAIL

  [Success: generateKey({name: ML-KEM-768}, true, [encapsulateKey, encapsulateBits, decapsulateKey\])]
    expected: FAIL

  [Success: generateKey({name: ML-KEM-768}, false, [encapsulateKey, decapsulateKey\])]
    expected: FAIL

  [Success: generateKey({name: ML-KEM-768}, true, [encapsulateKey, decapsulateKey\])]
    expected: FAIL

  [Success: generateKey({name: ML-KEM-768}, false, [decapsulateBits, decapsulateKey, encapsulateBits, encapsulateKey, decapsulateBits, decapsulateKey, decapsulateBits, decapsulateKey, encapsulateBits, encapsulateKey\])]
    expected: FAIL

  [Success: generateKey({name: ML-KEM-768}, true, [decapsulateBits, decapsulateKey, encapsulateBits, encapsulateKey, decapsulateBits, decapsulateKey, decapsulateBits, decapsulateKey, encapsulateBits, encapsulateKey\])]
    expected: FAIL

  [Success: generateKey(ml-kem-768, false, [decapsulateBits\])]
    expected: FAIL

  [Success: generateKey(ml-kem-768, true, [decapsulateBits\])]
    expected: FAIL

  [Success: generateKey(ml-kem-768, false, [decapsulateKey, decapsulateBits\])]
    expected: FAIL

  [Success: generateKey(ml-kem-768, true, [decapsulateKey, decapsulateBits\])]
    expected: FAIL

  [Success: generateKey(ml-kem-768, false, [encapsulateBits, decapsulateKey, decapsulateBits\])]
    expected: FAIL

  [Success: generateKey(ml-kem-768, true, [encapsulateBits, decapsulateKey, decapsulateBits\])]
    expected: FAIL

  [Success: generateKey(ml-kem-768, false, [encapsulateKey, encapsulateBits, decapsulateKey, decapsulateBits\])]
    expected: FAIL

  [Success: generateKey(ml-kem-768, true, [encapsulateKey, encapsulateBits, decapsulateKey, decapsulateBits\])]
    expected: FAIL

  [Success: generateKey(ml-kem-768, false, [encapsulateKey, decapsulateKey, decapsulateBits\])]
    expected: FAIL

  [Success: generateKey(ml-kem-768, true, [encapsulateKey, decapsulateKey, decapsulateBits\])]
    expected: FAIL

  [Success: generateKey(ml-kem-768, false, [encapsulateBits, decapsulateBits\])]
    expected: FAIL

  [Success: generateKey(ml-kem-768, true, [encapsulateBits, decapsulateBits\])]
    expected: FAIL

  [Success: generateKey(ml-kem-768, false, [encapsulateKey, encapsulateBits, decapsulateBits\])]
    expected: FAIL

  [Success: generateKey(ml-kem-768, true, [encapsulateKey, encapsulateBits, decapsulateBits\])]
    expected: FAIL

  [Success: generateKey(ml-kem-768, false, [encapsulateKey, decapsulateBits\])]
    expected: FAIL

  [Success: generateKey(ml-kem-768, true, [encapsulateKey, decapsulateBits\])]
    expected: FAIL

  [Success: generateKey(ml-kem-768, false, [decapsulateKey\])]
    expected: FAIL

  [Success: generateKey(ml-kem-768, true, [decapsulateKey\])]
    expected: FAIL

  [Success: generateKey(ml-kem-768, false, [encapsulateBits, decapsulateKey\])]
    expected: FAIL

  [Success: generateKey(ml-kem-768, true, [encapsulateBits, decapsulateKey\])]
    expected: FAIL

  [Success: generateKey(ml-kem-768, false, [encapsulateKey, encapsulateBits, decapsulateKey\])]
    expected: FAIL

  [Success: generateKey(ml-kem-768, true, [encapsulateKey, encapsulateBits, decapsulateKey\])]
    expected: FAIL

  [Success: generateKey(ml-kem-768, false, [encapsulateKey, decapsulateKey\])]
    expected: FAIL

  [Success: generateKey(ml-kem-768, true, [encapsulateKey, decapsulateKey\])]
    expected: FAIL

  [Success: generateKey(ml-kem-768, false, [decapsulateBits, decapsulateKey, encapsulateBits, encapsulateKey, decapsulateBits, decapsulateKey, decapsulateBits, decapsulateKey, encapsulateBits, encapsulateKey\])]
    expected: FAIL

  [Success: generateKey(ml-kem-768, true, [decapsulateBits, decapsulateKey, encapsulateBits, encapsulateKey, decapsulateBits, decapsulateKey, decapsulateBits, decapsulateKey, encapsulateBits, encapsulateKey\])]
    expected: FAIL

  [Success: generateKey({name: ml-kem-768}, false, [decapsulateBits\])]
    expected: FAIL

  [Success: generateKey({name: ml-kem-768}, true, [decapsulateBits\])]
    expected: FAIL

  [Success: generateKey({name: ml-kem-768}, false, [decapsulateKey, decapsulateBits\])]
    expected: FAIL

  [Success: generateKey({name: ml-kem-768}, true, [decapsulateKey, decapsulateBits\])]
    expected: FAIL

  [Success: generateKey({name: ml-kem-768}, false, [encapsulateBits, decapsulateKey, decapsulateBits\])]
    expected: FAIL

  [Success: generateKey({name: ml-kem-768}, true, [encapsulateBits, decapsulateKey, decapsulateBits\])]
    expected: FAIL

  [Success: generateKey({name: ml-kem-768}, false, [encapsulateKey, encapsulateBits, decapsulateKey, decapsulateBits\])]
    expected: FAIL

  [Success: generateKey({name: ml-kem-768}, true, [encapsulateKey, encapsulateBits, decapsulateKey, decapsulateBits\])]
    expected: FAIL

  [Success: generateKey({name: ml-kem-768}, false, [encapsulateKey, decapsulateKey, decapsulateBits\])]
    expected: FAIL

  [Success: generateKey({name: ml-kem-768}, true, [encapsulateKey, decapsulateKey, decapsulateBits\])]
    expected: FAIL

  [Success: generateKey({name: ml-kem-768}, false, [encapsulateBits, decapsulateBits\])]
    expected: FAIL

  [Success: generateKey({name: ml-kem-768}, true, [encapsulateBits, decapsulateBits\])]
    expected: FAIL

  [Success: generateKey({name: ml-kem-768}, false, [encapsulateKey, encapsulateBits, decapsulateBits\])]
    expected: FAIL

  [Success: generateKey({name: ml-kem-768}, true, [encapsulateKey, encapsulateBits, decapsulateBits\])]
    expected: FAIL

  [Success: generateKey({name: ml-kem-768}, false, [encapsulateKey, decapsulateBits\])]
    expected: FAIL

  [Success: generateKey({name: ml-kem-768}, true, [encapsulateKey, decapsulateBits\])]
    expected: FAIL

  [Success: generateKey({name: ml-kem-768}, false, [decapsulateKey\])]
    expected: FAIL

  [Success: generateKey({name: ml-kem-768}, true, [decapsulateKey\])]
    expected: FAIL

  [Success: generateKey({name: ml-kem-768}, false, [encapsulateBits, decapsulateKey\])]
    expected: FAIL

  [Success: generateKey({name: ml-kem-768}, true, [encapsulateBits, decapsulateKey\])]
    expected: FAIL

  [Success: generateKey({name: ml-kem-768}, false, [encapsulateKey, encapsulateBits, decapsulateKey\])]
    expected: FAIL

  [Success: generateKey({name: ml-kem-768}, true, [encapsulateKey, encapsulateBits, decapsulateKey\])]
    expected: FAIL

  [Success: generateKey({name: ml-kem-768}, false, [encapsulateKey, decapsulateKey\])]
    expected: FAIL

  [Success: generateKey({name: ml-kem-768}, true, [encapsulateKey, decapsulateKey\])]
    expected: FAIL

  [Success: generateKey({name: ml-kem-768}, false, [decapsulateBits, decapsulateKey, encapsulateBits, encapsulateKey, decapsulateBits, decapsulateKey, decapsulateBits, decapsulateKey, encapsulateBits, encapsulateKey\])]
    expected: FAIL

  [Success: generateKey({name: ml-kem-768}, true, [decapsulateBits, decapsulateKey, encapsulateBits, encapsulateKey, decapsulateBits, decapsulateKey, decapsulateBits, decapsulateKey, encapsulateBits, encapsulateKey\])]
    expected: FAIL

  [Success: generateKey(Ml-kem-768, false, [decapsulateBits\])]
    expected: FAIL

  [Success: generateKey(Ml-kem-768, true, [decapsulateBits\])]
    expected: FAIL

  [Success: generateKey(Ml-kem-768, false, [decapsulateKey, decapsulateBits\])]
    expected: FAIL

  [Success: generateKey(Ml-kem-768, true, [decapsulateKey, decapsulateBits\])]
    expected: FAIL

  [Success: generateKey(Ml-kem-768, false, [encapsulateBits, decapsulateKey, decapsulateBits\])]
    expected: FAIL

  [Success: generateKey(Ml-kem-768, true, [encapsulateBits, decapsulateKey, decapsulateBits\])]
    expected: FAIL

  [Success: generateKey(Ml-kem-768, false, [encapsulateKey, encapsulateBits, decapsulateKey, decapsulateBits\])]
    expected: FAIL

  [Success: generateKey(Ml-kem-768, true, [encapsulateKey, encapsulateBits, decapsulateKey, decapsulateBits\])]
    expected: FAIL

  [Success: generateKey(Ml-kem-768, false, [encapsulateKey, decapsulateKey, decapsulateBits\])]
    expected: FAIL

  [Success: generateKey(Ml-kem-768, true, [encapsulateKey, decapsulateKey, decapsulateBits\])]
    expected: FAIL

  [Success: generateKey(Ml-kem-768, false, [encapsulateBits, decapsulateBits\])]
    expected: FAIL

  [Success: generateKey(Ml-kem-768, true, [encapsulateBits, decapsulateBits\])]
    expected: FAIL

  [Success: generateKey(Ml-kem-768, false, [encapsulateKey, encapsulateBits, decapsulateBits\])]
    expected: FAIL

  [Success: generateKey(Ml-kem-768, true, [encapsulateKey, encapsulateBits, decapsulateBits\])]
    expected: FAIL

  [Success: generateKey(Ml-kem-768, false, [encapsulateKey, decapsulateBits\])]
    expected: FAIL

  [Success: generateKey(Ml-kem-768, true, [encapsulateKey, decapsulateBits\])]
    expected: FAIL

  [Success: generateKey(Ml-kem-768, false, [decapsulateKey\])]
    expected: FAIL

  [Success: generateKey(Ml-kem-768, true, [decapsulateKey\])]
    expected: FAIL

  [Success: generateKey(Ml-kem-768, false, [encapsulateBits, decapsulateKey\])]
    expected: FAIL

  [Success: generateKey(Ml-kem-768, true, [encapsulateBits, decapsulateKey\])]
    expected: FAIL

  [Success: generateKey(Ml-kem-768, false, [encapsulateKey, encapsulateBits, decapsulateKey\])]
    expected: FAIL

  [Success: generateKey(Ml-kem-768, true, [encapsulateKey, encapsulateBits, decapsulateKey\])]
    expected: FAIL

  [Success: generateKey(Ml-kem-768, false, [encapsulateKey, decapsulateKey\])]
    expected: FAIL

  [Success: generateKey(Ml-kem-768, true, [encapsulateKey, decapsulateKey\])]
    expected: FAIL

  [Success: generateKey(Ml-kem-768, false, [decapsulateBits, decapsulateKey, encapsulateBits, encapsulateKey, decapsulateBits, decapsulateKey, decapsulateBits, decapsulateKey, encapsulateBits, encapsulateKey\])]
    expected: FAIL

  [Success: generateKey(Ml-kem-768, true, [decapsulateBits, decapsulateKey, encapsulateBits, encapsulateKey, decapsulateBits, decapsulateKey, decapsulateBits, decapsulateKey, encapsulateBits, encapsulateKey\])]
    expected: FAIL

  [Success: generateKey({name: Ml-kem-768}, false, [decapsulateBits\])]
    expected: FAIL

  [Success: generateKey({name: Ml-kem-768}, true, [decapsulateBits\])]
    expected: FAIL

  [Success: generateKey({name: Ml-kem-768}, false, [decapsulateKey, decapsulateBits\])]
    expected: FAIL

  [Success: generateKey({name: Ml-kem-768}, true, [decapsulateKey, decapsulateBits\])]
    expected: FAIL

  [Success: generateKey({name: Ml-kem-768}, false, [encapsulateBits, decapsulateKey, decapsulateBits\])]
    expected: FAIL

  [Success: generateKey({name: Ml-kem-768}, true, [encapsulateBits, decapsulateKey, decapsulateBits\])]
    expected: FAIL

  [Success: generateKey({name: Ml-kem-768}, false, [encapsulateKey, encapsulateBits, decapsulateKey, decapsulateBits\])]
    expected: FAIL

  [Success: generateKey({name: Ml-kem-768}, true, [encapsulateKey, encapsulateBits, decapsulateKey, decapsulateBits\])]
    expected: FAIL

  [Success: generateKey({name: Ml-kem-768}, false, [encapsulateKey, decapsulateKey, decapsulateBits\])]
    expected: FAIL

  [Success: generateKey({name: Ml-kem-768}, true, [encapsulateKey, decapsulateKey, decapsulateBits\])]
    expected: FAIL

  [Success: generateKey({name: Ml-kem-768}, false, [encapsulateBits, decapsulateBits\])]
    expected: FAIL

  [Success: generateKey({name: Ml-kem-768}, true, [encapsulateBits, decapsulateBits\])]
    expected: FAIL

  [Success: generateKey({name: Ml-kem-768}, false, [encapsulateKey, encapsulateBits, decapsulateBits\])]
    expected: FAIL

  [Success: generateKey({name: Ml-kem-768}, true, [encapsulateKey, encapsulateBits, decapsulateBits\])]
    expected: FAIL

  [Success: generateKey({name: Ml-kem-768}, false, [encapsulateKey, decapsulateBits\])]
    expected: FAIL

  [Success: generateKey({name: Ml-kem-768}, true, [encapsulateKey, decapsulateBits\])]
    expected: FAIL

  [Success: generateKey({name: Ml-kem-768}, false, [decapsulateKey\])]
    expected: FAIL

  [Success: generateKey({name: Ml-kem-768}, true, [decapsulateKey\])]
    expected: FAIL

  [Success: generateKey({name: Ml-kem-768}, false, [encapsulateBits, decapsulateKey\])]
    expected: FAIL

  [Success: generateKey({name: Ml-kem-768}, true, [encapsulateBits, decapsulateKey\])]
    expected: FAIL

  [Success: generateKey({name: Ml-kem-768}, false, [encapsulateKey, encapsulateBits, decapsulateKey\])]
    expected: FAIL

  [Success: generateKey({name: Ml-kem-768}, true, [encapsulateKey, encapsulateBits, decapsulateKey\])]
    expected: FAIL

  [Success: generateKey({name: Ml-kem-768}, false, [encapsulateKey, decapsulateKey\])]
    expected: FAIL

  [Success: generateKey({name: Ml-kem-768}, true, [encapsulateKey, decapsulateKey\])]
    expected: FAIL

  [Success: generateKey({name: Ml-kem-768}, false, [decapsulateBits, decapsulateKey, encapsulateBits, encapsulateKey, decapsulateBits, decapsulateKey, decapsulateBits, decapsulateKey, encapsulateBits, encapsulateKey\])]
    expected: FAIL

  [Success: generateKey({name: Ml-kem-768}, true, [decapsulateBits, decapsulateKey, encapsulateBits, encapsulateKey, decapsulateBits, decapsulateKey, decapsulateBits, decapsulateKey, encapsulateBits, encapsulateKey\])]
    expected: FAIL

  [Success: generateKey(ML-KEM-1024, false, [decapsulateBits\])]
    expected: FAIL

  [Success: generateKey(ML-KEM-1024, true, [decapsulateBits\])]
    expected: FAIL

  [Success: generateKey(ML-KEM-1024, false, [decapsulateKey, decapsulateBits\])]
    expected: FAIL

  [Success: generateKey(ML-KEM-1024, true, [decapsulateKey, decapsulateBits\])]
    expected: FAIL

  [Success: generateKey(ML-KEM-1024, false, [encapsulateBits, decapsulateKey, decapsulateBits\])]
    expected: FAIL

  [Success: generateKey(ML-KEM-1024, true, [encapsulateBits, decapsulateKey, decapsulateBits\])]
    expected: FAIL

  [Success: generateKey(ML-KEM-1024, false, [encapsulateKey, encapsulateBits, decapsulateKey, decapsulateBits\])]
    expected: FAIL

  [Success: generateKey(ML-KEM-1024, true, [encapsulateKey, encapsulateBits, decapsulateKey, decapsulateBits\])]
    expected: FAIL

  [Success: generateKey(ML-KEM-1024, false, [encapsulateKey, decapsulateKey, decapsulateBits\])]
    expected: FAIL

  [Success: generateKey(ML-KEM-1024, true, [encapsulateKey, decapsulateKey, decapsulateBits\])]
    expected: FAIL

  [Success: generateKey(ML-KEM-1024, false, [encapsulateBits, decapsulateBits\])]
    expected: FAIL

  [Success: generateKey(ML-KEM-1024, true, [encapsulateBits, decapsulateBits\])]
    expected: FAIL

  [Success: generateKey(ML-KEM-1024, false, [encapsulateKey, encapsulateBits, decapsulateBits\])]
    expected: FAIL

  [Success: generateKey(ML-KEM-1024, true, [encapsulateKey, encapsulateBits, decapsulateBits\])]
    expected: FAIL

  [Success: generateKey(ML-KEM-1024, false, [encapsulateKey, decapsulateBits\])]
    expected: FAIL

  [Success: generateKey(ML-KEM-1024, true, [encapsulateKey, decapsulateBits\])]
    expected: FAIL

  [Success: generateKey(ML-KEM-1024, false, [decapsulateKey\])]
    expected: FAIL

  [Success: generateKey(ML-KEM-1024, true, [decapsulateKey\])]
    expected: FAIL

  [Success: generateKey(ML-KEM-1024, false, [encapsulateBits, decapsulateKey\])]
    expected: FAIL

  [Success: generateKey(ML-KEM-1024, true, [encapsulateBits, decapsulateKey\])]
    expected: FAIL

  [Success: generateKey(ML-KEM-1024, false, [encapsulateKey, encapsulateBits, decapsulateKey\])]
    expected: FAIL

  [Success: generateKey(ML-KEM-1024, true, [encapsulateKey, encapsulateBits, decapsulateKey\])]
    expected: FAIL

  [Success: generateKey(ML-KEM-1024, false, [encapsulateKey, decapsulateKey\])]
    expected: FAIL

  [Success: generateKey(ML-KEM-1024, true, [encapsulateKey, decapsulateKey\])]
    expected: FAIL

  [Success: generateKey(ML-KEM-1024, false, [decapsulateBits, decapsulateKey, encapsulateBits, encapsulateKey, decapsulateBits, decapsulateKey, decapsulateBits, decapsulateKey, encapsulateBits, encapsulateKey\])]
    expected: FAIL

  [Success: generateKey(ML-KEM-1024, true, [decapsulateBits, decapsulateKey, encapsulateBits, encapsulateKey, decapsulateBits, decapsulateKey, decapsulateBits, decapsulateKey, encapsulateBits, encapsulateKey\])]
    expected: FAIL

  [Success: generateKey({name: ML-KEM-1024}, false, [decapsulateBits\])]
    expected: FAIL

  [Success: generateKey({name: ML-KEM-1024}, true, [decapsulateBits\])]
    expected: FAIL

  [Success: generateKey({name: ML-KEM-1024}, false, [decapsulateKey, decapsulateBits\])]
    expected: FAIL

  [Success: generateKey({name: ML-KEM-1024}, true, [decapsulateKey, decapsulateBits\])]
    expected: FAIL

  [Success: generateKey({name: ML-KEM-1024}, false, [encapsulateBits, decapsulateKey, decapsulateBits\])]
    expected: FAIL

  [Success: generateKey({name: ML-KEM-1024}, true, [encapsulateBits, decapsulateKey, decapsulateBits\])]
    expected: FAIL

  [Success: generateKey({name: ML-KEM-1024}, false, [encapsulateKey, encapsulateBits, decapsulateKey, decapsulateBits\])]
    expected: FAIL

  [Success: generateKey({name: ML-KEM-1024}, true, [encapsulateKey, encapsulateBits, decapsulateKey, decapsulateBits\])]
    expected: FAIL

  [Success: generateKey({name: ML-KEM-1024}, false, [encapsulateKey, decapsulateKey, decapsulateBits\])]
    expected: FAIL

  [Success: generateKey({name: ML-KEM-1024}, true, [encapsulateKey, decapsulateKey, decapsulateBits\])]
    expected: FAIL

  [Success: generateKey({name: ML-KEM-1024}, false, [encapsulateBits, decapsulateBits\])]
    expected: FAIL

  [Success: generateKey({name: ML-KEM-1024}, true, [encapsulateBits, decapsulateBits\])]
    expected: FAIL

  [Success: generateKey({name: ML-KEM-1024}, false, [encapsulateKey, encapsulateBits, decapsulateBits\])]
    expected: FAIL

  [Success: generateKey({name: ML-KEM-1024}, true, [encapsulateKey, encapsulateBits, decapsulateBits\])]
    expected: FAIL

  [Success: generateKey({name: ML-KEM-1024}, false, [encapsulateKey, decapsulateBits\])]
    expected: FAIL

  [Success: generateKey({name: ML-KEM-1024}, true, [encapsulateKey, decapsulateBits\])]
    expected: FAIL

  [Success: generateKey({name: ML-KEM-1024}, false, [decapsulateKey\])]
    expected: FAIL

  [Success: generateKey({name: ML-KEM-1024}, true, [decapsulateKey\])]
    expected: FAIL

  [Success: generateKey({name: ML-KEM-1024}, false, [encapsulateBits, decapsulateKey\])]
    expected: FAIL

  [Success: generateKey({name: ML-KEM-1024}, true, [encapsulateBits, decapsulateKey\])]
    expected: FAIL

  [Success: generateKey({name: ML-KEM-1024}, false, [encapsulateKey, encapsulateBits, decapsulateKey\])]
    expected: FAIL

  [Success: generateKey({name: ML-KEM-1024}, true, [encapsulateKey, encapsulateBits, decapsulateKey\])]
    expected: FAIL

  [Success: generateKey({name: ML-KEM-1024}, false, [encapsulateKey, decapsulateKey\])]
    expected: FAIL

  [Success: generateKey({name: ML-KEM-1024}, true, [encapsulateKey, decapsulateKey\])]
    expected: FAIL

  [Success: generateKey({name: ML-KEM-1024}, false, [decapsulateBits, decapsulateKey, encapsulateBits, encapsulateKey, decapsulateBits, decapsulateKey, decapsulateBits, decapsulateKey, encapsulateBits, encapsulateKey\])]
    expected: FAIL

  [Success: generateKey({name: ML-KEM-1024}, true, [decapsulateBits, decapsulateKey, encapsulateBits, encapsulateKey, decapsulateBits, decapsulateKey, decapsulateBits, decapsulateKey, encapsulateBits, encapsulateKey\])]
    expected: FAIL

  [Success: generateKey(ml-kem-1024, false, [decapsulateBits\])]
    expected: FAIL

  [Success: generateKey(ml-kem-1024, true, [decapsulateBits\])]
    expected: FAIL

  [Success: generateKey(ml-kem-1024, false, [decapsulateKey, decapsulateBits\])]
    expected: FAIL

  [Success: generateKey(ml-kem-1024, true, [decapsulateKey, decapsulateBits\])]
    expected: FAIL

  [Success: generateKey(ml-kem-1024, false, [encapsulateBits, decapsulateKey, decapsulateBits\])]
    expected: FAIL

  [Success: generateKey(ml-kem-1024, true, [encapsulateBits, decapsulateKey, decapsulateBits\])]
    expected: FAIL

  [Success: generateKey(ml-kem-1024, false, [encapsulateKey, encapsulateBits, decapsulateKey, decapsulateBits\])]
    expected: FAIL

  [Success: generateKey(ml-kem-1024, true, [encapsulateKey, encapsulateBits, decapsulateKey, decapsulateBits\])]
    expected: FAIL

  [Success: generateKey(ml-kem-1024, false, [encapsulateKey, decapsulateKey, decapsulateBits\])]
    expected: FAIL

  [Success: generateKey(ml-kem-1024, true, [encapsulateKey, decapsulateKey, decapsulateBits\])]
    expected: FAIL

  [Success: generateKey(ml-kem-1024, false, [encapsulateBits, decapsulateBits\])]
    expected: FAIL

  [Success: generateKey(ml-kem-1024, true, [encapsulateBits, decapsulateBits\])]
    expected: FAIL

  [Success: generateKey(ml-kem-1024, false, [encapsulateKey, encapsulateBits, decapsulateBits\])]
    expected: FAIL

  [Success: generateKey(ml-kem-1024, true, [encapsulateKey, encapsulateBits, decapsulateBits\])]
    expected: FAIL

  [Success: generateKey(ml-kem-1024, false, [encapsulateKey, decapsulateBits\])]
    expected: FAIL

  [Success: generateKey(ml-kem-1024, true, [encapsulateKey, decapsulateBits\])]
    expected: FAIL

  [Success: generateKey(ml-kem-1024, false, [decapsulateKey\])]
    expected: FAIL

  [Success: generateKey(ml-kem-1024, true, [decapsulateKey\])]
    expected: FAIL

  [Success: generateKey(ml-kem-1024, false, [encapsulateBits, decapsulateKey\])]
    expected: FAIL

  [Success: generateKey(ml-kem-1024, true, [encapsulateBits, decapsulateKey\])]
    expected: FAIL

  [Success: generateKey(ml-kem-1024, false, [encapsulateKey, encapsulateBits, decapsulateKey\])]
    expected: FAIL

  [Success: generateKey(ml-kem-1024, true, [encapsulateKey, encapsulateBits, decapsulateKey\])]
    expected: FAIL

  [Success: generateKey(ml-kem-1024, false, [encapsulateKey, decapsulateKey\])]
    expected: FAIL

  [Success: generateKey(ml-kem-1024, true, [encapsulateKey, decapsulateKey\])]
    expected: FAIL

  [Success: generateKey(ml-kem-1024, false, [decapsulateBits, decapsulateKey, encapsulateBits, encapsulateKey, decapsulateBits, decapsulateKey, decapsulateBits, decapsulateKey, encapsulateBits, encapsulateKey\])]
    expected: FAIL

  [Success: generateKey(ml-kem-1024, true, [decapsulateBits, decapsulateKey, encapsulateBits, encapsulateKey, decapsulateBits, decapsulateKey, decapsulateBits, decapsulateKey, encapsulateBits, encapsulateKey\])]
    expected: FAIL

  [Success: generateKey({name: ml-kem-1024}, false, [decapsulateBits\])]
    expected: FAIL

  [Success: generateKey({name: ml-kem-1024}, true, [decapsulateBits\])]
    expected: FAIL

  [Success: generateKey({name: ml-kem-1024}, false, [decapsulateKey, decapsulateBits\])]
    expected: FAIL

  [Success: generateKey({name: ml-kem-1024}, true, [decapsulateKey, decapsulateBits\])]
    expected: FAIL

  [Success: generateKey({name: ml-kem-1024}, false, [encapsulateBits, decapsulateKey, decapsulateBits\])]
    expected: FAIL

  [Success: generateKey({name: ml-kem-1024}, true, [encapsulateBits, decapsulateKey, decapsulateBits\])]
    expected: FAIL

  [Success: generateKey({name: ml-kem-1024}, false, [encapsulateKey, encapsulateBits, decapsulateKey, decapsulateBits\])]
    expected: FAIL

  [Success: generateKey({name: ml-kem-1024}, true, [encapsulateKey, encapsulateBits, decapsulateKey, decapsulateBits\])]
    expected: FAIL

  [Success: generateKey({name: ml-kem-1024}, false, [encapsulateKey, decapsulateKey, decapsulateBits\])]
    expected: FAIL

  [Success: generateKey({name: ml-kem-1024}, true, [encapsulateKey, decapsulateKey, decapsulateBits\])]
    expected: FAIL

  [Success: generateKey({name: ml-kem-1024}, false, [encapsulateBits, decapsulateBits\])]
    expected: FAIL

  [Success: generateKey({name: ml-kem-1024}, true, [encapsulateBits, decapsulateBits\])]
    expected: FAIL

  [Success: generateKey({name: ml-kem-1024}, false, [encapsulateKey, encapsulateBits, decapsulateBits\])]
    expected: FAIL

  [Success: generateKey({name: ml-kem-1024}, true, [encapsulateKey, encapsulateBits, decapsulateBits\])]
    expected: FAIL

  [Success: generateKey({name: ml-kem-1024}, false, [encapsulateKey, decapsulateBits\])]
    expected: FAIL

  [Success: generateKey({name: ml-kem-1024}, true, [encapsulateKey, decapsulateBits\])]
    expected: FAIL

  [Success: generateKey({name: ml-kem-1024}, false, [decapsulateKey\])]
    expected: FAIL

  [Success: generateKey({name: ml-kem-1024}, true, [decapsulateKey\])]
    expected: FAIL

  [Success: generateKey({name: ml-kem-1024}, false, [encapsulateBits, decapsulateKey\])]
    expected: FAIL

  [Success: generateKey({name: ml-kem-1024}, true, [encapsulateBits, decapsulateKey\])]
    expected: FAIL

  [Success: generateKey({name: ml-kem-1024}, false, [encapsulateKey, encapsulateBits, decapsulateKey\])]
    expected: FAIL

  [Success: generateKey({name: ml-kem-1024}, true, [encapsulateKey, encapsulateBits, decapsulateKey\])]
    expected: FAIL

  [Success: generateKey({name: ml-kem-1024}, false, [encapsulateKey, decapsulateKey\])]
    expected: FAIL

  [Success: generateKey({name: ml-kem-1024}, true, [encapsulateKey, decapsulateKey\])]
    expected: FAIL

  [Success: generateKey({name: ml-kem-1024}, false, [decapsulateBits, decapsulateKey, encapsulateBits, encapsulateKey, decapsulateBits, decapsulateKey, decapsulateBits, decapsulateKey, encapsulateBits, encapsulateKey\])]
    expected: FAIL

  [Success: generateKey({name: ml-kem-1024}, true, [decapsulateBits, decapsulateKey, encapsulateBits, encapsulateKey, decapsulateBits, decapsulateKey, decapsulateBits, decapsulateKey, encapsulateBits, encapsulateKey\])]
    expected: FAIL

  [Success: generateKey(Ml-kem-1024, false, [decapsulateBits\])]
    expected: FAIL

  [Success: generateKey(Ml-kem-1024, true, [decapsulateBits\])]
    expected: FAIL

  [Success: generateKey(Ml-kem-1024, false, [decapsulateKey, decapsulateBits\])]
    expected: FAIL

  [Success: generateKey(Ml-kem-1024, true, [decapsulateKey, decapsulateBits\])]
    expected: FAIL

  [Success: generateKey(Ml-kem-1024, false, [encapsulateBits, decapsulateKey, decapsulateBits\])]
    expected: FAIL

  [Success: generateKey(Ml-kem-1024, true, [encapsulateBits, decapsulateKey, decapsulateBits\])]
    expected: FAIL

  [Success: generateKey(Ml-kem-1024, false, [encapsulateKey, encapsulateBits, decapsulateKey, decapsulateBits\])]
    expected: FAIL

  [Success: generateKey(Ml-kem-1024, true, [encapsulateKey, encapsulateBits, decapsulateKey, decapsulateBits\])]
    expected: FAIL

  [Success: generateKey(Ml-kem-1024, false, [encapsulateKey, decapsulateKey, decapsulateBits\])]
    expected: FAIL

  [Success: generateKey(Ml-kem-1024, true, [encapsulateKey, decapsulateKey, decapsulateBits\])]
    expected: FAIL

  [Success: generateKey(Ml-kem-1024, false, [encapsulateBits, decapsulateBits\])]
    expected: FAIL

  [Success: generateKey(Ml-kem-1024, true, [encapsulateBits, decapsulateBits\])]
    expected: FAIL

  [Success: generateKey(Ml-kem-1024, false, [encapsulateKey, encapsulateBits, decapsulateBits\])]
    expected: FAIL

  [Success: generateKey(Ml-kem-1024, true, [encapsulateKey, encapsulateBits, decapsulateBits\])]
    expected: FAIL

  [Success: generateKey(Ml-kem-1024, false, [encapsulateKey, decapsulateBits\])]
    expected: FAIL

  [Success: generateKey(Ml-kem-1024, true, [encapsulateKey, decapsulateBits\])]
    expected: FAIL

  [Success: generateKey(Ml-kem-1024, false, [decapsulateKey\])]
    expected: FAIL

  [Success: generateKey(Ml-kem-1024, true, [decapsulateKey\])]
    expected: FAIL

  [Success: generateKey(Ml-kem-1024, false, [encapsulateBits, decapsulateKey\])]
    expected: FAIL

  [Success: generateKey(Ml-kem-1024, true, [encapsulateBits, decapsulateKey\])]
    expected: FAIL

  [Success: generateKey(Ml-kem-1024, false, [encapsulateKey, encapsulateBits, decapsulateKey\])]
    expected: FAIL

  [Success: generateKey(Ml-kem-1024, true, [encapsulateKey, encapsulateBits, decapsulateKey\])]
    expected: FAIL

  [Success: generateKey(Ml-kem-1024, false, [encapsulateKey, decapsulateKey\])]
    expected: FAIL

  [Success: generateKey(Ml-kem-1024, true, [encapsulateKey, decapsulateKey\])]
    expected: FAIL

  [Success: generateKey(Ml-kem-1024, false, [decapsulateBits, decapsulateKey, encapsulateBits, encapsulateKey, decapsulateBits, decapsulateKey, decapsulateBits, decapsulateKey, encapsulateBits, encapsulateKey\])]
    expected: FAIL

  [Success: generateKey(Ml-kem-1024, true, [decapsulateBits, decapsulateKey, encapsulateBits, encapsulateKey, decapsulateBits, decapsulateKey, decapsulateBits, decapsulateKey, encapsulateBits, encapsulateKey\])]
    expected: FAIL

  [Success: generateKey({name: Ml-kem-1024}, false, [decapsulateBits\])]
    expected: FAIL

  [Success: generateKey({name: Ml-kem-1024}, true, [decapsulateBits\])]
    expected: FAIL

  [Success: generateKey({name: Ml-kem-1024}, false, [decapsulateKey, decapsulateBits\])]
    expected: FAIL

  [Success: generateKey({name: Ml-kem-1024}, true, [decapsulateKey, decapsulateBits\])]
    expected: FAIL

  [Success: generateKey({name: Ml-kem-1024}, false, [encapsulateBits, decapsulateKey, decapsulateBits\])]
    expected: FAIL

  [Success: generateKey({name: Ml-kem-1024}, true, [encapsulateBits, decapsulateKey, decapsulateBits\])]
    expected: FAIL

  [Success: generateKey({name: Ml-kem-1024}, false, [encapsulateKey, encapsulateBits, decapsulateKey, decapsulateBits\])]
    expected: FAIL

  [Success: generateKey({name: Ml-kem-1024}, true, [encapsulateKey, encapsulateBits, decapsulateKey, decapsulateBits\])]
    expected: FAIL

  [Success: generateKey({name: Ml-kem-1024}, false, [encapsulateKey, decapsulateKey, decapsulateBits\])]
    expected: FAIL

  [Success: generateKey({name: Ml-kem-1024}, true, [encapsulateKey, decapsulateKey, decapsulateBits\])]
    expected: FAIL

  [Success: generateKey({name: Ml-kem-1024}, false, [encapsulateBits, decapsulateBits\])]
    expected: FAIL

  [Success: generateKey({name: Ml-kem-1024}, true, [encapsulateBits, decapsulateBits\])]
    expected: FAIL

  [Success: generateKey({name: Ml-kem-1024}, false, [encapsulateKey, encapsulateBits, decapsulateBits\])]
    expected: FAIL

  [Success: generateKey({name: Ml-kem-1024}, true, [encapsulateKey, encapsulateBits, decapsulateBits\])]
    expected: FAIL

  [Success: generateKey({name: Ml-kem-1024}, false, [encapsulateKey, decapsulateBits\])]
    expected: FAIL

  [Success: generateKey({name: Ml-kem-1024}, true, [encapsulateKey, decapsulateBits\])]
    expected: FAIL

  [Success: generateKey({name: Ml-kem-1024}, false, [decapsulateKey\])]
    expected: FAIL

  [Success: generateKey({name: Ml-kem-1024}, true, [decapsulateKey\])]
    expected: FAIL

  [Success: generateKey({name: Ml-kem-1024}, false, [encapsulateBits, decapsulateKey\])]
    expected: FAIL

  [Success: generateKey({name: Ml-kem-1024}, true, [encapsulateBits, decapsulateKey\])]
    expected: FAIL

  [Success: generateKey({name: Ml-kem-1024}, false, [encapsulateKey, encapsulateBits, decapsulateKey\])]
    expected: FAIL

  [Success: generateKey({name: Ml-kem-1024}, true, [encapsulateKey, encapsulateBits, decapsulateKey\])]
    expected: FAIL

  [Success: generateKey({name: Ml-kem-1024}, false, [encapsulateKey, decapsulateKey\])]
    expected: FAIL

  [Success: generateKey({name: Ml-kem-1024}, true, [encapsulateKey, decapsulateKey\])]
    expected: FAIL

  [Success: generateKey({name: Ml-kem-1024}, false, [decapsulateBits, decapsulateKey, encapsulateBits, encapsulateKey, decapsulateBits, decapsulateKey, decapsulateBits, decapsulateKey, encapsulateBits, encapsulateKey\])]
    expected: FAIL

  [Success: generateKey({name: Ml-kem-1024}, true, [decapsulateBits, decapsulateKey, encapsulateBits, encapsulateKey, decapsulateBits, decapsulateKey, decapsulateBits, decapsulateKey, encapsulateBits, encapsulateKey\])]
    expected: FAIL


[successes_ML-KEM.tentative.https.any.worker.html]
  [Success: generateKey(ML-KEM-512, false, [decapsulateBits\])]
    expected: FAIL

  [Success: generateKey(ML-KEM-512, true, [decapsulateBits\])]
    expected: FAIL

  [Success: generateKey(ML-KEM-512, false, [decapsulateKey, decapsulateBits\])]
    expected: FAIL

  [Success: generateKey(ML-KEM-512, true, [decapsulateKey, decapsulateBits\])]
    expected: FAIL

  [Success: generateKey(ML-KEM-512, false, [encapsulateBits, decapsulateKey, decapsulateBits\])]
    expected: FAIL

  [Success: generateKey(ML-KEM-512, true, [encapsulateBits, decapsulateKey, decapsulateBits\])]
    expected: FAIL

  [Success: generateKey(ML-KEM-512, false, [encapsulateKey, encapsulateBits, decapsulateKey, decapsulateBits\])]
    expected: FAIL

  [Success: generateKey(ML-KEM-512, true, [encapsulateKey, encapsulateBits, decapsulateKey, decapsulateBits\])]
    expected: FAIL

  [Success: generateKey(ML-KEM-512, false, [encapsulateKey, decapsulateKey, decapsulateBits\])]
    expected: FAIL

  [Success: generateKey(ML-KEM-512, true, [encapsulateKey, decapsulateKey, decapsulateBits\])]
    expected: FAIL

  [Success: generateKey(ML-KEM-512, false, [encapsulateBits, decapsulateBits\])]
    expected: FAIL

  [Success: generateKey(ML-KEM-512, true, [encapsulateBits, decapsulateBits\])]
    expected: FAIL

  [Success: generateKey(ML-KEM-512, false, [encapsulateKey, encapsulateBits, decapsulateBits\])]
    expected: FAIL

  [Success: generateKey(ML-KEM-512, true, [encapsulateKey, encapsulateBits, decapsulateBits\])]
    expected: FAIL

  [Success: generateKey(ML-KEM-512, false, [encapsulateKey, decapsulateBits\])]
    expected: FAIL

  [Success: generateKey(ML-KEM-512, true, [encapsulateKey, decapsulateBits\])]
    expected: FAIL

  [Success: generateKey(ML-KEM-512, false, [decapsulateKey\])]
    expected: FAIL

  [Success: generateKey(ML-KEM-512, true, [decapsulateKey\])]
    expected: FAIL

  [Success: generateKey(ML-KEM-512, false, [encapsulateBits, decapsulateKey\])]
    expected: FAIL

  [Success: generateKey(ML-KEM-512, true, [encapsulateBits, decapsulateKey\])]
    expected: FAIL

  [Success: generateKey(ML-KEM-512, false, [encapsulateKey, encapsulateBits, decapsulateKey\])]
    expected: FAIL

  [Success: generateKey(ML-KEM-512, true, [encapsulateKey, encapsulateBits, decapsulateKey\])]
    expected: FAIL

  [Success: generateKey(ML-KEM-512, false, [encapsulateKey, decapsulateKey\])]
    expected: FAIL

  [Success: generateKey(ML-KEM-512, true, [encapsulateKey, decapsulateKey\])]
    expected: FAIL

  [Success: generateKey(ML-KEM-512, false, [decapsulateBits, decapsulateKey, encapsulateBits, encapsulateKey, decapsulateBits, decapsulateKey, decapsulateBits, decapsulateKey, encapsulateBits, encapsulateKey\])]
    expected: FAIL

  [Success: generateKey(ML-KEM-512, true, [decapsulateBits, decapsulateKey, encapsulateBits, encapsulateKey, decapsulateBits, decapsulateKey, decapsulateBits, decapsulateKey, encapsulateBits, encapsulateKey\])]
    expected: FAIL

  [Success: generateKey({name: ML-KEM-512}, false, [decapsulateBits\])]
    expected: FAIL

  [Success: generateKey({name: ML-KEM-512}, true, [decapsulateBits\])]
    expected: FAIL

  [Success: generateKey({name: ML-KEM-512}, false, [decapsulateKey, decapsulateBits\])]
    expected: FAIL

  [Success: generateKey({name: ML-KEM-512}, true, [decapsulateKey, decapsulateBits\])]
    expected: FAIL

  [Success: generateKey({name: ML-KEM-512}, false, [encapsulateBits, decapsulateKey, decapsulateBits\])]
    expected: FAIL

  [Success: generateKey({name: ML-KEM-512}, true, [encapsulateBits, decapsulateKey, decapsulateBits\])]
    expected: FAIL

  [Success: generateKey({name: ML-KEM-512}, false, [encapsulateKey, encapsulateBits, decapsulateKey, decapsulateBits\])]
    expected: FAIL

  [Success: generateKey({name: ML-KEM-512}, true, [encapsulateKey, encapsulateBits, decapsulateKey, decapsulateBits\])]
    expected: FAIL

  [Success: generateKey({name: ML-KEM-512}, false, [encapsulateKey, decapsulateKey, decapsulateBits\])]
    expected: FAIL

  [Success: generateKey({name: ML-KEM-512}, true, [encapsulateKey, decapsulateKey, decapsulateBits\])]
    expected: FAIL

  [Success: generateKey({name: ML-KEM-512}, false, [encapsulateBits, decapsulateBits\])]
    expected: FAIL

  [Success: generateKey({name: ML-KEM-512}, true, [encapsulateBits, decapsulateBits\])]
    expected: FAIL

  [Success: generateKey({name: ML-KEM-512}, false, [encapsulateKey, encapsulateBits, decapsulateBits\])]
    expected: FAIL

  [Success: generateKey({name: ML-KEM-512}, true, [encapsulateKey, encapsulateBits, decapsulateBits\])]
    expected: FAIL

  [Success: generateKey({name: ML-KEM-512}, false, [encapsulateKey, decapsulateBits\])]
    expected: FAIL

  [Success: generateKey({name: ML-KEM-512}, true, [encapsulateKey, decapsulateBits\])]
    expected: FAIL

  [Success: generateKey({name: ML-KEM-512}, false, [decapsulateKey\])]
    expected: FAIL

  [Success: generateKey({name: ML-KEM-512}, true, [decapsulateKey\])]
    expected: FAIL

  [Success: generateKey({name: ML-KEM-512}, false, [encapsulateBits, decapsulateKey\])]
    expected: FAIL

  [Success: generateKey({name: ML-KEM-512}, true, [encapsulateBits, decapsulateKey\])]
    expected: FAIL

  [Success: generateKey({name: ML-KEM-512}, false, [encapsulateKey, encapsulateBits, decapsulateKey\])]
    expected: FAIL

  [Success: generateKey({name: ML-KEM-512}, true, [encapsulateKey, encapsulateBits, decapsulateKey\])]
    expected: FAIL

  [Success: generateKey({name: ML-KEM-512}, false, [encapsulateKey, decapsulateKey\])]
    expected: FAIL

  [Success: generateKey({name: ML-KEM-512}, true, [encapsulateKey, decapsulateKey\])]
    expected: FAIL

  [Success: generateKey({name: ML-KEM-512}, false, [decapsulateBits, decapsulateKey, encapsulateBits, encapsulateKey, decapsulateBits, decapsulateKey, decapsulateBits, decapsulateKey, encapsulateBits, encapsulateKey\])]
    expected: FAIL

  [Success: generateKey({name: ML-KEM-512}, true, [decapsulateBits, decapsulateKey, encapsulateBits, encapsulateKey, decapsulateBits, decapsulateKey, decapsulateBits, decapsulateKey, encapsulateBits, encapsulateKey\])]
    expected: FAIL

  [Success: generateKey(ml-kem-512, false, [decapsulateBits\])]
    expected: FAIL

  [Success: generateKey(ml-kem-512, true, [decapsulateBits\])]
    expected: FAIL

  [Success: generateKey(ml-kem-512, false, [decapsulateKey, decapsulateBits\])]
    expected: FAIL

  [Success: generateKey(ml-kem-512, true, [decapsulateKey, decapsulateBits\])]
    expected: FAIL

  [Success: generateKey(ml-kem-512, false, [encapsulateBits, decapsulateKey, decapsulateBits\])]
    expected: FAIL

  [Success: generateKey(ml-kem-512, true, [encapsulateBits, decapsulateKey, decapsulateBits\])]
    expected: FAIL

  [Success: generateKey(ml-kem-512, false, [encapsulateKey, encapsulateBits, decapsulateKey, decapsulateBits\])]
    expected: FAIL

  [Success: generateKey(ml-kem-512, true, [encapsulateKey, encapsulateBits, decapsulateKey, decapsulateBits\])]
    expected: FAIL

  [Success: generateKey(ml-kem-512, false, [encapsulateKey, decapsulateKey, decapsulateBits\])]
    expected: FAIL

  [Success: generateKey(ml-kem-512, true, [encapsulateKey, decapsulateKey, decapsulateBits\])]
    expected: FAIL

  [Success: generateKey(ml-kem-512, false, [encapsulateBits, decapsulateBits\])]
    expected: FAIL

  [Success: generateKey(ml-kem-512, true, [encapsulateBits, decapsulateBits\])]
    expected: FAIL

  [Success: generateKey(ml-kem-512, false, [encapsulateKey, encapsulateBits, decapsulateBits\])]
    expected: FAIL

  [Success: generateKey(ml-kem-512, true, [encapsulateKey, encapsulateBits, decapsulateBits\])]
    expected: FAIL

  [Success: generateKey(ml-kem-512, false, [encapsulateKey, decapsulateBits\])]
    expected: FAIL

  [Success: generateKey(ml-kem-512, true, [encapsulateKey, decapsulateBits\])]
    expected: FAIL

  [Success: generateKey(ml-kem-512, false, [decapsulateKey\])]
    expected: FAIL

  [Success: generateKey(ml-kem-512, true, [decapsulateKey\])]
    expected: FAIL

  [Success: generateKey(ml-kem-512, false, [encapsulateBits, decapsulateKey\])]
    expected: FAIL

  [Success: generateKey(ml-kem-512, true, [encapsulateBits, decapsulateKey\])]
    expected: FAIL

  [Success: generateKey(ml-kem-512, false, [encapsulateKey, encapsulateBits, decapsulateKey\])]
    expected: FAIL

  [Success: generateKey(ml-kem-512, true, [encapsulateKey, encapsulateBits, decapsulateKey\])]
    expected: FAIL

  [Success: generateKey(ml-kem-512, false, [encapsulateKey, decapsulateKey\])]
    expected: FAIL

  [Success: generateKey(ml-kem-512, true, [encapsulateKey, decapsulateKey\])]
    expected: FAIL

  [Success: generateKey(ml-kem-512, false, [decapsulateBits, decapsulateKey, encapsulateBits, encapsulateKey, decapsulateBits, decapsulateKey, decapsulateBits, decapsulateKey, encapsulateBits, encapsulateKey\])]
    expected: FAIL

  [Success: generateKey(ml-kem-512, true, [decapsulateBits, decapsulateKey, encapsulateBits, encapsulateKey, decapsulateBits, decapsulateKey, decapsulateBits, decapsulateKey, encapsulateBits, encapsulateKey\])]
    expected: FAIL

  [Success: generateKey({name: ml-kem-512}, false, [decapsulateBits\])]
    expected: FAIL

  [Success: generateKey({name: ml-kem-512}, true, [decapsulateBits\])]
    expected: FAIL

  [Success: generateKey({name: ml-kem-512}, false, [decapsulateKey, decapsulateBits\])]
    expected: FAIL

  [Success: generateKey({name: ml-kem-512}, true, [decapsulateKey, decapsulateBits\])]
    expected: FAIL

  [Success: generateKey({name: ml-kem-512}, false, [encapsulateBits, decapsulateKey, decapsulateBits\])]
    expected: FAIL

  [Success: generateKey({name: ml-kem-512}, true, [encapsulateBits, decapsulateKey, decapsulateBits\])]
    expected: FAIL

  [Success: generateKey({name: ml-kem-512}, false, [encapsulateKey, encapsulateBits, decapsulateKey, decapsulateBits\])]
    expected: FAIL

  [Success: generateKey({name: ml-kem-512}, true, [encapsulateKey, encapsulateBits, decapsulateKey, decapsulateBits\])]
    expected: FAIL

  [Success: generateKey({name: ml-kem-512}, false, [encapsulateKey, decapsulateKey, decapsulateBits\])]
    expected: FAIL

  [Success: generateKey({name: ml-kem-512}, true, [encapsulateKey, decapsulateKey, decapsulateBits\])]
    expected: FAIL

  [Success: generateKey({name: ml-kem-512}, false, [encapsulateBits, decapsulateBits\])]
    expected: FAIL

  [Success: generateKey({name: ml-kem-512}, true, [encapsulateBits, decapsulateBits\])]
    expected: FAIL

  [Success: generateKey({name: ml-kem-512}, false, [encapsulateKey, encapsulateBits, decapsulateBits\])]
    expected: FAIL

  [Success: generateKey({name: ml-kem-512}, true, [encapsulateKey, encapsulateBits, decapsulateBits\])]
    expected: FAIL

  [Success: generateKey({name: ml-kem-512}, false, [encapsulateKey, decapsulateBits\])]
    expected: FAIL

  [Success: generateKey({name: ml-kem-512}, true, [encapsulateKey, decapsulateBits\])]
    expected: FAIL

  [Success: generateKey({name: ml-kem-512}, false, [decapsulateKey\])]
    expected: FAIL

  [Success: generateKey({name: ml-kem-512}, true, [decapsulateKey\])]
    expected: FAIL

  [Success: generateKey({name: ml-kem-512}, false, [encapsulateBits, decapsulateKey\])]
    expected: FAIL

  [Success: generateKey({name: ml-kem-512}, true, [encapsulateBits, decapsulateKey\])]
    expected: FAIL

  [Success: generateKey({name: ml-kem-512}, false, [encapsulateKey, encapsulateBits, decapsulateKey\])]
    expected: FAIL

  [Success: generateKey({name: ml-kem-512}, true, [encapsulateKey, encapsulateBits, decapsulateKey\])]
    expected: FAIL

  [Success: generateKey({name: ml-kem-512}, false, [encapsulateKey, decapsulateKey\])]
    expected: FAIL

  [Success: generateKey({name: ml-kem-512}, true, [encapsulateKey, decapsulateKey\])]
    expected: FAIL

  [Success: generateKey({name: ml-kem-512}, false, [decapsulateBits, decapsulateKey, encapsulateBits, encapsulateKey, decapsulateBits, decapsulateKey, decapsulateBits, decapsulateKey, encapsulateBits, encapsulateKey\])]
    expected: FAIL

  [Success: generateKey({name: ml-kem-512}, true, [decapsulateBits, decapsulateKey, encapsulateBits, encapsulateKey, decapsulateBits, decapsulateKey, decapsulateBits, decapsulateKey, encapsulateBits, encapsulateKey\])]
    expected: FAIL

  [Success: generateKey(Ml-kem-512, false, [decapsulateBits\])]
    expected: FAIL

  [Success: generateKey(Ml-kem-512, true, [decapsulateBits\])]
    expected: FAIL

  [Success: generateKey(Ml-kem-512, false, [decapsulateKey, decapsulateBits\])]
    expected: FAIL

  [Success: generateKey(Ml-kem-512, true, [decapsulateKey, decapsulateBits\])]
    expected: FAIL

  [Success: generateKey(Ml-kem-512, false, [encapsulateBits, decapsulateKey, decapsulateBits\])]
    expected: FAIL

  [Success: generateKey(Ml-kem-512, true, [encapsulateBits, decapsulateKey, decapsulateBits\])]
    expected: FAIL

  [Success: generateKey(Ml-kem-512, false, [encapsulateKey, encapsulateBits, decapsulateKey, decapsulateBits\])]
    expected: FAIL

  [Success: generateKey(Ml-kem-512, true, [encapsulateKey, encapsulateBits, decapsulateKey, decapsulateBits\])]
    expected: FAIL

  [Success: generateKey(Ml-kem-512, false, [encapsulateKey, decapsulateKey, decapsulateBits\])]
    expected: FAIL

  [Success: generateKey(Ml-kem-512, true, [encapsulateKey, decapsulateKey, decapsulateBits\])]
    expected: FAIL

  [Success: generateKey(Ml-kem-512, false, [encapsulateBits, decapsulateBits\])]
    expected: FAIL

  [Success: generateKey(Ml-kem-512, true, [encapsulateBits, decapsulateBits\])]
    expected: FAIL

  [Success: generateKey(Ml-kem-512, false, [encapsulateKey, encapsulateBits, decapsulateBits\])]
    expected: FAIL

  [Success: generateKey(Ml-kem-512, true, [encapsulateKey, encapsulateBits, decapsulateBits\])]
    expected: FAIL

  [Success: generateKey(Ml-kem-512, false, [encapsulateKey, decapsulateBits\])]
    expected: FAIL

  [Success: generateKey(Ml-kem-512, true, [encapsulateKey, decapsulateBits\])]
    expected: FAIL

  [Success: generateKey(Ml-kem-512, false, [decapsulateKey\])]
    expected: FAIL

  [Success: generateKey(Ml-kem-512, true, [decapsulateKey\])]
    expected: FAIL

  [Success: generateKey(Ml-kem-512, false, [encapsulateBits, decapsulateKey\])]
    expected: FAIL

  [Success: generateKey(Ml-kem-512, true, [encapsulateBits, decapsulateKey\])]
    expected: FAIL

  [Success: generateKey(Ml-kem-512, false, [encapsulateKey, encapsulateBits, decapsulateKey\])]
    expected: FAIL

  [Success: generateKey(Ml-kem-512, true, [encapsulateKey, encapsulateBits, decapsulateKey\])]
    expected: FAIL

  [Success: generateKey(Ml-kem-512, false, [encapsulateKey, decapsulateKey\])]
    expected: FAIL

  [Success: generateKey(Ml-kem-512, true, [encapsulateKey, decapsulateKey\])]
    expected: FAIL

  [Success: generateKey(Ml-kem-512, false, [decapsulateBits, decapsulateKey, encapsulateBits, encapsulateKey, decapsulateBits, decapsulateKey, decapsulateBits, decapsulateKey, encapsulateBits, encapsulateKey\])]
    expected: FAIL

  [Success: generateKey(Ml-kem-512, true, [decapsulateBits, decapsulateKey, encapsulateBits, encapsulateKey, decapsulateBits, decapsulateKey, decapsulateBits, decapsulateKey, encapsulateBits, encapsulateKey\])]
    expected: FAIL

  [Success: generateKey({name: Ml-kem-512}, false, [decapsulateBits\])]
    expected: FAIL

  [Success: generateKey({name: Ml-kem-512}, true, [decapsulateBits\])]
    expected: FAIL

  [Success: generateKey({name: Ml-kem-512}, false, [decapsulateKey, decapsulateBits\])]
    expected: FAIL

  [Success: generateKey({name: Ml-kem-512}, true, [decapsulateKey, decapsulateBits\])]
    expected: FAIL

  [Success: generateKey({name: Ml-kem-512}, false, [encapsulateBits, decapsulateKey, decapsulateBits\])]
    expected: FAIL

  [Success: generateKey({name: Ml-kem-512}, true, [encapsulateBits, decapsulateKey, decapsulateBits\])]
    expected: FAIL

  [Success: generateKey({name: Ml-kem-512}, false, [encapsulateKey, encapsulateBits, decapsulateKey, decapsulateBits\])]
    expected: FAIL

  [Success: generateKey({name: Ml-kem-512}, true, [encapsulateKey, encapsulateBits, decapsulateKey, decapsulateBits\])]
    expected: FAIL

  [Success: generateKey({name: Ml-kem-512}, false, [encapsulateKey, decapsulateKey, decapsulateBits\])]
    expected: FAIL

  [Success: generateKey({name: Ml-kem-512}, true, [encapsulateKey, decapsulateKey, decapsulateBits\])]
    expected: FAIL

  [Success: generateKey({name: Ml-kem-512}, false, [encapsulateBits, decapsulateBits\])]
    expected: FAIL

  [Success: generateKey({name: Ml-kem-512}, true, [encapsulateBits, decapsulateBits\])]
    expected: FAIL

  [Success: generateKey({name: Ml-kem-512}, false, [encapsulateKey, encapsulateBits, decapsulateBits\])]
    expected: FAIL

  [Success: generateKey({name: Ml-kem-512}, true, [encapsulateKey, encapsulateBits, decapsulateBits\])]
    expected: FAIL

  [Success: generateKey({name: Ml-kem-512}, false, [encapsulateKey, decapsulateBits\])]
    expected: FAIL

  [Success: generateKey({name: Ml-kem-512}, true, [encapsulateKey, decapsulateBits\])]
    expected: FAIL

  [Success: generateKey({name: Ml-kem-512}, false, [decapsulateKey\])]
    expected: FAIL

  [Success: generateKey({name: Ml-kem-512}, true, [decapsulateKey\])]
    expected: FAIL

  [Success: generateKey({name: Ml-kem-512}, false, [encapsulateBits, decapsulateKey\])]
    expected: FAIL

  [Success: generateKey({name: Ml-kem-512}, true, [encapsulateBits, decapsulateKey\])]
    expected: FAIL

  [Success: generateKey({name: Ml-kem-512}, false, [encapsulateKey, encapsulateBits, decapsulateKey\])]
    expected: FAIL

  [Success: generateKey({name: Ml-kem-512}, true, [encapsulateKey, encapsulateBits, decapsulateKey\])]
    expected: FAIL

  [Success: generateKey({name: Ml-kem-512}, false, [encapsulateKey, decapsulateKey\])]
    expected: FAIL

  [Success: generateKey({name: Ml-kem-512}, true, [encapsulateKey, decapsulateKey\])]
    expected: FAIL

  [Success: generateKey({name: Ml-kem-512}, false, [decapsulateBits, decapsulateKey, encapsulateBits, encapsulateKey, decapsulateBits, decapsulateKey, decapsulateBits, decapsulateKey, encapsulateBits, encapsulateKey\])]
    expected: FAIL

  [Success: generateKey({name: Ml-kem-512}, true, [decapsulateBits, decapsulateKey, encapsulateBits, encapsulateKey, decapsulateBits, decapsulateKey, decapsulateBits, decapsulateKey, encapsulateBits, encapsulateKey\])]
    expected: FAIL

  [Success: generateKey(ML-KEM-768, false, [decapsulateBits\])]
    expected: FAIL

  [Success: generateKey(ML-KEM-768, true, [decapsulateBits\])]
    expected: FAIL

  [Success: generateKey(ML-KEM-768, false, [decapsulateKey, decapsulateBits\])]
    expected: FAIL

  [Success: generateKey(ML-KEM-768, true, [decapsulateKey, decapsulateBits\])]
    expected: FAIL

  [Success: generateKey(ML-KEM-768, false, [encapsulateBits, decapsulateKey, decapsulateBits\])]
    expected: FAIL

  [Success: generateKey(ML-KEM-768, true, [encapsulateBits, decapsulateKey, decapsulateBits\])]
    expected: FAIL

  [Success: generateKey(ML-KEM-768, false, [encapsulateKey, encapsulateBits, decapsulateKey, decapsulateBits\])]
    expected: FAIL

  [Success: generateKey(ML-KEM-768, true, [encapsulateKey, encapsulateBits, decapsulateKey, decapsulateBits\])]
    expected: FAIL

  [Success: generateKey(ML-KEM-768, false, [encapsulateKey, decapsulateKey, decapsulateBits\])]
    expected: FAIL

  [Success: generateKey(ML-KEM-768, true, [encapsulateKey, decapsulateKey, decapsulateBits\])]
    expected: FAIL

  [Success: generateKey(ML-KEM-768, false, [encapsulateBits, decapsulateBits\])]
    expected: FAIL

  [Success: generateKey(ML-KEM-768, true, [encapsulateBits, decapsulateBits\])]
    expected: FAIL

  [Success: generateKey(ML-KEM-768, false, [encapsulateKey, encapsulateBits, decapsulateBits\])]
    expected: FAIL

  [Success: generateKey(ML-KEM-768, true, [encapsulateKey, encapsulateBits, decapsulateBits\])]
    expected: FAIL

  [Success: generateKey(ML-KEM-768, false, [encapsulateKey, decapsulateBits\])]
    expected: FAIL

  [Success: generateKey(ML-KEM-768, true, [encapsulateKey, decapsulateBits\])]
    expected: FAIL

  [Success: generateKey(ML-KEM-768, false, [decapsulateKey\])]
    expected: FAIL

  [Success: generateKey(ML-KEM-768, true, [decapsulateKey\])]
    expected: FAIL

  [Success: generateKey(ML-KEM-768, false, [encapsulateBits, decapsulateKey\])]
    expected: FAIL

  [Success: generateKey(ML-KEM-768, true, [encapsulateBits, decapsulateKey\])]
    expected: FAIL

  [Success: generateKey(ML-KEM-768, false, [encapsulateKey, encapsulateBits, decapsulateKey\])]
    expected: FAIL

  [Success: generateKey(ML-KEM-768, true, [encapsulateKey, encapsulateBits, decapsulateKey\])]
    expected: FAIL

  [Success: generateKey(ML-KEM-768, false, [encapsulateKey, decapsulateKey\])]
    expected: FAIL

  [Success: generateKey(ML-KEM-768, true, [encapsulateKey, decapsulateKey\])]
    expected: FAIL

  [Success: generateKey(ML-KEM-768, false, [decapsulateBits, decapsulateKey, encapsulateBits, encapsulateKey, decapsulateBits, decapsulateKey, decapsulateBits, decapsulateKey, encapsulateBits, encapsulateKey\])]
    expected: FAIL

  [Success: generateKey(ML-KEM-768, true, [decapsulateBits, decapsulateKey, encapsulateBits, encapsulateKey, decapsulateBits, decapsulateKey, decapsulateBits, decapsulateKey, encapsulateBits, encapsulateKey\])]
    expected: FAIL

  [Success: generateKey({name: ML-KEM-768}, false, [decapsulateBits\])]
    expected: FAIL

  [Success: generateKey({name: ML-KEM-768}, true, [decapsulateBits\])]
    expected: FAIL

  [Success: generateKey({name: ML-KEM-768}, false, [decapsulateKey, decapsulateBits\])]
    expected: FAIL

  [Success: generateKey({name: ML-KEM-768}, true, [decapsulateKey, decapsulateBits\])]
    expected: FAIL

  [Success: generateKey({name: ML-KEM-768}, false, [encapsulateBits, decapsulateKey, decapsulateBits\])]
    expected: FAIL

  [Success: generateKey({name: ML-KEM-768}, true, [encapsulateBits, decapsulateKey, decapsulateBits\])]
    expected: FAIL

  [Success: generateKey({name: ML-KEM-768}, false, [encapsulateKey, encapsulateBits, decapsulateKey, decapsulateBits\])]
    expected: FAIL

  [Success: generateKey({name: ML-KEM-768}, true, [encapsulateKey, encapsulateBits, decapsulateKey, decapsulateBits\])]
    expected: FAIL

  [Success: generateKey({name: ML-KEM-768}, false, [encapsulateKey, decapsulateKey, decapsulateBits\])]
    expected: FAIL

  [Success: generateKey({name: ML-KEM-768}, true, [encapsulateKey, decapsulateKey, decapsulateBits\])]
    expected: FAIL

  [Success: generateKey({name: ML-KEM-768}, false, [encapsulateBits, decapsulateBits\])]
    expected: FAIL

  [Success: generateKey({name: ML-KEM-768}, true, [encapsulateBits, decapsulateBits\])]
    expected: FAIL

  [Success: generateKey({name: ML-KEM-768}, false, [encapsulateKey, encapsulateBits, decapsulateBits\])]
    expected: FAIL

  [Success: generateKey({name: ML-KEM-768}, true, [encapsulateKey, encapsulateBits, decapsulateBits\])]
    expected: FAIL

  [Success: generateKey({name: ML-KEM-768}, false, [encapsulateKey, decapsulateBits\])]
    expected: FAIL

  [Success: generateKey({name: ML-KEM-768}, true, [encapsulateKey, decapsulateBits\])]
    expected: FAIL

  [Success: generateKey({name: ML-KEM-768}, false, [decapsulateKey\])]
    expected: FAIL

  [Success: generateKey({name: ML-KEM-768}, true, [decapsulateKey\])]
    expected: FAIL

  [Success: generateKey({name: ML-KEM-768}, false, [encapsulateBits, decapsulateKey\])]
    expected: FAIL

  [Success: generateKey({name: ML-KEM-768}, true, [encapsulateBits, decapsulateKey\])]
    expected: FAIL

  [Success: generateKey({name: ML-KEM-768}, false, [encapsulateKey, encapsulateBits, decapsulateKey\])]
    expected: FAIL

  [Success: generateKey({name: ML-KEM-768}, true, [encapsulateKey, encapsulateBits, decapsulateKey\])]
    expected: FAIL

  [Success: generateKey({name: ML-KEM-768}, false, [encapsulateKey, decapsulateKey\])]
    expected: FAIL

  [Success: generateKey({name: ML-KEM-768}, true, [encapsulateKey, decapsulateKey\])]
    expected: FAIL

  [Success: generateKey({name: ML-KEM-768}, false, [decapsulateBits, decapsulateKey, encapsulateBits, encapsulateKey, decapsulateBits, decapsulateKey, decapsulateBits, decapsulateKey, encapsulateBits, encapsulateKey\])]
    expected: FAIL

  [Success: generateKey({name: ML-KEM-768}, true, [decapsulateBits, decapsulateKey, encapsulateBits, encapsulateKey, decapsulateBits, decapsulateKey, decapsulateBits, decapsulateKey, encapsulateBits, encapsulateKey\])]
    expected: FAIL

  [Success: generateKey(ml-kem-768, false, [decapsulateBits\])]
    expected: FAIL

  [Success: generateKey(ml-kem-768, true, [decapsulateBits\])]
    expected: FAIL

  [Success: generateKey(ml-kem-768, false, [decapsulateKey, decapsulateBits\])]
    expected: FAIL

  [Success: generateKey(ml-kem-768, true, [decapsulateKey, decapsulateBits\])]
    expected: FAIL

  [Success: generateKey(ml-kem-768, false, [encapsulateBits, decapsulateKey, decapsulateBits\])]
    expected: FAIL

  [Success: generateKey(ml-kem-768, true, [encapsulateBits, decapsulateKey, decapsulateBits\])]
    expected: FAIL

  [Success: generateKey(ml-kem-768, false, [encapsulateKey, encapsulateBits, decapsulateKey, decapsulateBits\])]
    expected: FAIL

  [Success: generateKey(ml-kem-768, true, [encapsulateKey, encapsulateBits, decapsulateKey, decapsulateBits\])]
    expected: FAIL

  [Success: generateKey(ml-kem-768, false, [encapsulateKey, decapsulateKey, decapsulateBits\])]
    expected: FAIL

  [Success: generateKey(ml-kem-768, true, [encapsulateKey, decapsulateKey, decapsulateBits\])]
    expected: FAIL

  [Success: generateKey(ml-kem-768, false, [encapsulateBits, decapsulateBits\])]
    expected: FAIL

  [Success: generateKey(ml-kem-768, true, [encapsulateBits, decapsulateBits\])]
    expected: FAIL

  [Success: generateKey(ml-kem-768, false, [encapsulateKey, encapsulateBits, decapsulateBits\])]
    expected: FAIL

  [Success: generateKey(ml-kem-768, true, [encapsulateKey, encapsulateBits, decapsulateBits\])]
    expected: FAIL

  [Success: generateKey(ml-kem-768, false, [encapsulateKey, decapsulateBits\])]
    expected: FAIL

  [Success: generateKey(ml-kem-768, true, [encapsulateKey, decapsulateBits\])]
    expected: FAIL

  [Success: generateKey(ml-kem-768, false, [decapsulateKey\])]
    expected: FAIL

  [Success: generateKey(ml-kem-768, true, [decapsulateKey\])]
    expected: FAIL

  [Success: generateKey(ml-kem-768, false, [encapsulateBits, decapsulateKey\])]
    expected: FAIL

  [Success: generateKey(ml-kem-768, true, [encapsulateBits, decapsulateKey\])]
    expected: FAIL

  [Success: generateKey(ml-kem-768, false, [encapsulateKey, encapsulateBits, decapsulateKey\])]
    expected: FAIL

  [Success: generateKey(ml-kem-768, true, [encapsulateKey, encapsulateBits, decapsulateKey\])]
    expected: FAIL

  [Success: generateKey(ml-kem-768, false, [encapsulateKey, decapsulateKey\])]
    expected: FAIL

  [Success: generateKey(ml-kem-768, true, [encapsulateKey, decapsulateKey\])]
    expected: FAIL

  [Success: generateKey(ml-kem-768, false, [decapsulateBits, decapsulateKey, encapsulateBits, encapsulateKey, decapsulateBits, decapsulateKey, decapsulateBits, decapsulateKey, encapsulateBits, encapsulateKey\])]
    expected: FAIL

  [Success: generateKey(ml-kem-768, true, [decapsulateBits, decapsulateKey, encapsulateBits, encapsulateKey, decapsulateBits, decapsulateKey, decapsulateBits, decapsulateKey, encapsulateBits, encapsulateKey\])]
    expected: FAIL

  [Success: generateKey({name: ml-kem-768}, false, [decapsulateBits\])]
    expected: FAIL

  [Success: generateKey({name: ml-kem-768}, true, [decapsulateBits\])]
    expected: FAIL

  [Success: generateKey({name: ml-kem-768}, false, [decapsulateKey, decapsulateBits\])]
    expected: FAIL

  [Success: generateKey({name: ml-kem-768}, true, [decapsulateKey, decapsulateBits\])]
    expected: FAIL

  [Success: generateKey({name: ml-kem-768}, false, [encapsulateBits, decapsulateKey, decapsulateBits\])]
    expected: FAIL

  [Success: generateKey({name: ml-kem-768}, true, [encapsulateBits, decapsulateKey, decapsulateBits\])]
    expected: FAIL

  [Success: generateKey({name: ml-kem-768}, false, [encapsulateKey, encapsulateBits, decapsulateKey, decapsulateBits\])]
    expected: FAIL

  [Success: generateKey({name: ml-kem-768}, true, [encapsulateKey, encapsulateBits, decapsulateKey, decapsulateBits\])]
    expected: FAIL

  [Success: generateKey({name: ml-kem-768}, false, [encapsulateKey, decapsulateKey, decapsulateBits\])]
    expected: FAIL

  [Success: generateKey({name: ml-kem-768}, true, [encapsulateKey, decapsulateKey, decapsulateBits\])]
    expected: FAIL

  [Success: generateKey({name: ml-kem-768}, false, [encapsulateBits, decapsulateBits\])]
    expected: FAIL

  [Success: generateKey({name: ml-kem-768}, true, [encapsulateBits, decapsulateBits\])]
    expected: FAIL

  [Success: generateKey({name: ml-kem-768}, false, [encapsulateKey, encapsulateBits, decapsulateBits\])]
    expected: FAIL

  [Success: generateKey({name: ml-kem-768}, true, [encapsulateKey, encapsulateBits, decapsulateBits\])]
    expected: FAIL

  [Success: generateKey({name: ml-kem-768}, false, [encapsulateKey, decapsulateBits\])]
    expected: FAIL

  [Success: generateKey({name: ml-kem-768}, true, [encapsulateKey, decapsulateBits\])]
    expected: FAIL

  [Success: generateKey({name: ml-kem-768}, false, [decapsulateKey\])]
    expected: FAIL

  [Success: generateKey({name: ml-kem-768}, true, [decapsulateKey\])]
    expected: FAIL

  [Success: generateKey({name: ml-kem-768}, false, [encapsulateBits, decapsulateKey\])]
    expected: FAIL

  [Success: generateKey({name: ml-kem-768}, true, [encapsulateBits, decapsulateKey\])]
    expected: FAIL

  [Success: generateKey({name: ml-kem-768}, false, [encapsulateKey, encapsulateBits, decapsulateKey\])]
    expected: FAIL

  [Success: generateKey({name: ml-kem-768}, true, [encapsulateKey, encapsulateBits, decapsulateKey\])]
    expected: FAIL

  [Success: generateKey({name: ml-kem-768}, false, [encapsulateKey, decapsulateKey\])]
    expected: FAIL

  [Success: generateKey({name: ml-kem-768}, true, [encapsulateKey, decapsulateKey\])]
    expected: FAIL

  [Success: generateKey({name: ml-kem-768}, false, [decapsulateBits, decapsulateKey, encapsulateBits, encapsulateKey, decapsulateBits, decapsulateKey, decapsulateBits, decapsulateKey, encapsulateBits, encapsulateKey\])]
    expected: FAIL

  [Success: generateKey({name: ml-kem-768}, true, [decapsulateBits, decapsulateKey, encapsulateBits, encapsulateKey, decapsulateBits, decapsulateKey, decapsulateBits, decapsulateKey, encapsulateBits, encapsulateKey\])]
    expected: FAIL

  [Success: generateKey(Ml-kem-768, false, [decapsulateBits\])]
    expected: FAIL

  [Success: generateKey(Ml-kem-768, true, [decapsulateBits\])]
    expected: FAIL

  [Success: generateKey(Ml-kem-768, false, [decapsulateKey, decapsulateBits\])]
    expected: FAIL

  [Success: generateKey(Ml-kem-768, true, [decapsulateKey, decapsulateBits\])]
    expected: FAIL

  [Success: generateKey(Ml-kem-768, false, [encapsulateBits, decapsulateKey, decapsulateBits\])]
    expected: FAIL

  [Success: generateKey(Ml-kem-768, true, [encapsulateBits, decapsulateKey, decapsulateBits\])]
    expected: FAIL

  [Success: generateKey(Ml-kem-768, false, [encapsulateKey, encapsulateBits, decapsulateKey, decapsulateBits\])]
    expected: FAIL

  [Success: generateKey(Ml-kem-768, true, [encapsulateKey, encapsulateBits, decapsulateKey, decapsulateBits\])]
    expected: FAIL

  [Success: generateKey(Ml-kem-768, false, [encapsulateKey, decapsulateKey, decapsulateBits\])]
    expected: FAIL

  [Success: generateKey(Ml-kem-768, true, [encapsulateKey, decapsulateKey, decapsulateBits\])]
    expected: FAIL

  [Success: generateKey(Ml-kem-768, false, [encapsulateBits, decapsulateBits\])]
    expected: FAIL

  [Success: generateKey(Ml-kem-768, true, [encapsulateBits, decapsulateBits\])]
    expected: FAIL

  [Success: generateKey(Ml-kem-768, false, [encapsulateKey, encapsulateBits, decapsulateBits\])]
    expected: FAIL

  [Success: generateKey(Ml-kem-768, true, [encapsulateKey, encapsulateBits, decapsulateBits\])]
    expected: FAIL

  [Success: generateKey(Ml-kem-768, false, [encapsulateKey, decapsulateBits\])]
    expected: FAIL

  [Success: generateKey(Ml-kem-768, true, [encapsulateKey, decapsulateBits\])]
    expected: FAIL

  [Success: generateKey(Ml-kem-768, false, [decapsulateKey\])]
    expected: FAIL

  [Success: generateKey(Ml-kem-768, true, [decapsulateKey\])]
    expected: FAIL

  [Success: generateKey(Ml-kem-768, false, [encapsulateBits, decapsulateKey\])]
    expected: FAIL

  [Success: generateKey(Ml-kem-768, true, [encapsulateBits, decapsulateKey\])]
    expected: FAIL

  [Success: generateKey(Ml-kem-768, false, [encapsulateKey, encapsulateBits, decapsulateKey\])]
    expected: FAIL

  [Success: generateKey(Ml-kem-768, true, [encapsulateKey, encapsulateBits, decapsulateKey\])]
    expected: FAIL

  [Success: generateKey(Ml-kem-768, false, [encapsulateKey, decapsulateKey\])]
    expected: FAIL

  [Success: generateKey(Ml-kem-768, true, [encapsulateKey, decapsulateKey\])]
    expected: FAIL

  [Success: generateKey(Ml-kem-768, false, [decapsulateBits, decapsulateKey, encapsulateBits, encapsulateKey, decapsulateBits, decapsulateKey, decapsulateBits, decapsulateKey, encapsulateBits, encapsulateKey\])]
    expected: FAIL

  [Success: generateKey(Ml-kem-768, true, [decapsulateBits, decapsulateKey, encapsulateBits, encapsulateKey, decapsulateBits, decapsulateKey, decapsulateBits, decapsulateKey, encapsulateBits, encapsulateKey\])]
    expected: FAIL

  [Success: generateKey({name: Ml-kem-768}, false, [decapsulateBits\])]
    expected: FAIL

  [Success: generateKey({name: Ml-kem-768}, true, [decapsulateBits\])]
    expected: FAIL

  [Success: generateKey({name: Ml-kem-768}, false, [decapsulateKey, decapsulateBits\])]
    expected: FAIL

  [Success: generateKey({name: Ml-kem-768}, true, [decapsulateKey, decapsulateBits\])]
    expected: FAIL

  [Success: generateKey({name: Ml-kem-768}, false, [encapsulateBits, decapsulateKey, decapsulateBits\])]
    expected: FAIL

  [Success: generateKey({name: Ml-kem-768}, true, [encapsulateBits, decapsulateKey, decapsulateBits\])]
    expected: FAIL

  [Success: generateKey({name: Ml-kem-768}, false, [encapsulateKey, encapsulateBits, decapsulateKey, decapsulateBits\])]
    expected: FAIL

  [Success: generateKey({name: Ml-kem-768}, true, [encapsulateKey, encapsulateBits, decapsulateKey, decapsulateBits\])]
    expected: FAIL

  [Success: generateKey({name: Ml-kem-768}, false, [encapsulateKey, decapsulateKey, decapsulateBits\])]
    expected: FAIL

  [Success: generateKey({name: Ml-kem-768}, true, [encapsulateKey, decapsulateKey, decapsulateBits\])]
    expected: FAIL

  [Success: generateKey({name: Ml-kem-768}, false, [encapsulateBits, decapsulateBits\])]
    expected: FAIL

  [Success: generateKey({name: Ml-kem-768}, true, [encapsulateBits, decapsulateBits\])]
    expected: FAIL

  [Success: generateKey({name: Ml-kem-768}, false, [encapsulateKey, encapsulateBits, decapsulateBits\])]
    expected: FAIL

  [Success: generateKey({name: Ml-kem-768}, true, [encapsulateKey, encapsulateBits, decapsulateBits\])]
    expected: FAIL

  [Success: generateKey({name: Ml-kem-768}, false, [encapsulateKey, decapsulateBits\])]
    expected: FAIL

  [Success: generateKey({name: Ml-kem-768}, true, [encapsulateKey, decapsulateBits\])]
    expected: FAIL

  [Success: generateKey({name: Ml-kem-768}, false, [decapsulateKey\])]
    expected: FAIL

  [Success: generateKey({name: Ml-kem-768}, true, [decapsulateKey\])]
    expected: FAIL

  [Success: generateKey({name: Ml-kem-768}, false, [encapsulateBits, decapsulateKey\])]
    expected: FAIL

  [Success: generateKey({name: Ml-kem-768}, true, [encapsulateBits, decapsulateKey\])]
    expected: FAIL

  [Success: generateKey({name: Ml-kem-768}, false, [encapsulateKey, encapsulateBits, decapsulateKey\])]
    expected: FAIL

  [Success: generateKey({name: Ml-kem-768}, true, [encapsulateKey, encapsulateBits, decapsulateKey\])]
    expected: FAIL

  [Success: generateKey({name: Ml-kem-768}, false, [encapsulateKey, decapsulateKey\])]
    expected: FAIL

  [Success: generateKey({name: Ml-kem-768}, true, [encapsulateKey, decapsulateKey\])]
    expected: FAIL

  [Success: generateKey({name: Ml-kem-768}, false, [decapsulateBits, decapsulateKey, encapsulateBits, encapsulateKey, decapsulateBits, decapsulateKey, decapsulateBits, decapsulateKey, encapsulateBits, encapsulateKey\])]
    expected: FAIL

  [Success: generateKey({name: Ml-kem-768}, true, [decapsulateBits, decapsulateKey, encapsulateBits, encapsulateKey, decapsulateBits, decapsulateKey, decapsulateBits, decapsulateKey, encapsulateBits, encapsulateKey\])]
    expected: FAIL

  [Success: generateKey(ML-KEM-1024, false, [decapsulateBits\])]
    expected: FAIL

  [Success: generateKey(ML-KEM-1024, true, [decapsulateBits\])]
    expected: FAIL

  [Success: generateKey(ML-KEM-1024, false, [decapsulateKey, decapsulateBits\])]
    expected: FAIL

  [Success: generateKey(ML-KEM-1024, true, [decapsulateKey, decapsulateBits\])]
    expected: FAIL

  [Success: generateKey(ML-KEM-1024, false, [encapsulateBits, decapsulateKey, decapsulateBits\])]
    expected: FAIL

  [Success: generateKey(ML-KEM-1024, true, [encapsulateBits, decapsulateKey, decapsulateBits\])]
    expected: FAIL

  [Success: generateKey(ML-KEM-1024, false, [encapsulateKey, encapsulateBits, decapsulateKey, decapsulateBits\])]
    expected: FAIL

  [Success: generateKey(ML-KEM-1024, true, [encapsulateKey, encapsulateBits, decapsulateKey, decapsulateBits\])]
    expected: FAIL

  [Success: generateKey(ML-KEM-1024, false, [encapsulateKey, decapsulateKey, decapsulateBits\])]
    expected: FAIL

  [Success: generateKey(ML-KEM-1024, true, [encapsulateKey, decapsulateKey, decapsulateBits\])]
    expected: FAIL

  [Success: generateKey(ML-KEM-1024, false, [encapsulateBits, decapsulateBits\])]
    expected: FAIL

  [Success: generateKey(ML-KEM-1024, true, [encapsulateBits, decapsulateBits\])]
    expected: FAIL

  [Success: generateKey(ML-KEM-1024, false, [encapsulateKey, encapsulateBits, decapsulateBits\])]
    expected: FAIL

  [Success: generateKey(ML-KEM-1024, true, [encapsulateKey, encapsulateBits, decapsulateBits\])]
    expected: FAIL

  [Success: generateKey(ML-KEM-1024, false, [encapsulateKey, decapsulateBits\])]
    expected: FAIL

  [Success: generateKey(ML-KEM-1024, true, [encapsulateKey, decapsulateBits\])]
    expected: FAIL

  [Success: generateKey(ML-KEM-1024, false, [decapsulateKey\])]
    expected: FAIL

  [Success: generateKey(ML-KEM-1024, true, [decapsulateKey\])]
    expected: FAIL

  [Success: generateKey(ML-KEM-1024, false, [encapsulateBits, decapsulateKey\])]
    expected: FAIL

  [Success: generateKey(ML-KEM-1024, true, [encapsulateBits, decapsulateKey\])]
    expected: FAIL

  [Success: generateKey(ML-KEM-1024, false, [encapsulateKey, encapsulateBits, decapsulateKey\])]
    expected: FAIL

  [Success: generateKey(ML-KEM-1024, true, [encapsulateKey, encapsulateBits, decapsulateKey\])]
    expected: FAIL

  [Success: generateKey(ML-KEM-1024, false, [encapsulateKey, decapsulateKey\])]
    expected: FAIL

  [Success: generateKey(ML-KEM-1024, true, [encapsulateKey, decapsulateKey\])]
    expected: FAIL

  [Success: generateKey(ML-KEM-1024, false, [decapsulateBits, decapsulateKey, encapsulateBits, encapsulateKey, decapsulateBits, decapsulateKey, decapsulateBits, decapsulateKey, encapsulateBits, encapsulateKey\])]
    expected: FAIL

  [Success: generateKey(ML-KEM-1024, true, [decapsulateBits, decapsulateKey, encapsulateBits, encapsulateKey, decapsulateBits, decapsulateKey, decapsulateBits, decapsulateKey, encapsulateBits, encapsulateKey\])]
    expected: FAIL

  [Success: generateKey({name: ML-KEM-1024}, false, [decapsulateBits\])]
    expected: FAIL

  [Success: generateKey({name: ML-KEM-1024}, true, [decapsulateBits\])]
    expected: FAIL

  [Success: generateKey({name: ML-KEM-1024}, false, [decapsulateKey, decapsulateBits\])]
    expected: FAIL

  [Success: generateKey({name: ML-KEM-1024}, true, [decapsulateKey, decapsulateBits\])]
    expected: FAIL

  [Success: generateKey({name: ML-KEM-1024}, false, [encapsulateBits, decapsulateKey, decapsulateBits\])]
    expected: FAIL

  [Success: generateKey({name: ML-KEM-1024}, true, [encapsulateBits, decapsulateKey, decapsulateBits\])]
    expected: FAIL

  [Success: generateKey({name: ML-KEM-1024}, false, [encapsulateKey, encapsulateBits, decapsulateKey, decapsulateBits\])]
    expected: FAIL

  [Success: generateKey({name: ML-KEM-1024}, true, [encapsulateKey, encapsulateBits, decapsulateKey, decapsulateBits\])]
    expected: FAIL

  [Success: generateKey({name: ML-KEM-1024}, false, [encapsulateKey, decapsulateKey, decapsulateBits\])]
    expected: FAIL

  [Success: generateKey({name: ML-KEM-1024}, true, [encapsulateKey, decapsulateKey, decapsulateBits\])]
    expected: FAIL

  [Success: generateKey({name: ML-KEM-1024}, false, [encapsulateBits, decapsulateBits\])]
    expected: FAIL

  [Success: generateKey({name: ML-KEM-1024}, true, [encapsulateBits, decapsulateBits\])]
    expected: FAIL

  [Success: generateKey({name: ML-KEM-1024}, false, [encapsulateKey, encapsulateBits, decapsulateBits\])]
    expected: FAIL

  [Success: generateKey({name: ML-KEM-1024}, true, [encapsulateKey, encapsulateBits, decapsulateBits\])]
    expected: FAIL

  [Success: generateKey({name: ML-KEM-1024}, false, [encapsulateKey, decapsulateBits\])]
    expected: FAIL

  [Success: generateKey({name: ML-KEM-1024}, true, [encapsulateKey, decapsulateBits\])]
    expected: FAIL

  [Success: generateKey({name: ML-KEM-1024}, false, [decapsulateKey\])]
    expected: FAIL

  [Success: generateKey({name: ML-KEM-1024}, true, [decapsulateKey\])]
    expected: FAIL

  [Success: generateKey({name: ML-KEM-1024}, false, [encapsulateBits, decapsulateKey\])]
    expected: FAIL

  [Success: generateKey({name: ML-KEM-1024}, true, [encapsulateBits, decapsulateKey\])]
    expected: FAIL

  [Success: generateKey({name: ML-KEM-1024}, false, [encapsulateKey, encapsulateBits, decapsulateKey\])]
    expected: FAIL

  [Success: generateKey({name: ML-KEM-1024}, true, [encapsulateKey, encapsulateBits, decapsulateKey\])]
    expected: FAIL

  [Success: generateKey({name: ML-KEM-1024}, false, [encapsulateKey, decapsulateKey\])]
    expected: FAIL

  [Success: generateKey({name: ML-KEM-1024}, true, [encapsulateKey, decapsulateKey\])]
    expected: FAIL

  [Success: generateKey({name: ML-KEM-1024}, false, [decapsulateBits, decapsulateKey, encapsulateBits, encapsulateKey, decapsulateBits, decapsulateKey, decapsulateBits, decapsulateKey, encapsulateBits, encapsulateKey\])]
    expected: FAIL

  [Success: generateKey({name: ML-KEM-1024}, true, [decapsulateBits, decapsulateKey, encapsulateBits, encapsulateKey, decapsulateBits, decapsulateKey, decapsulateBits, decapsulateKey, encapsulateBits, encapsulateKey\])]
    expected: FAIL

  [Success: generateKey(ml-kem-1024, false, [decapsulateBits\])]
    expected: FAIL

  [Success: generateKey(ml-kem-1024, true, [decapsulateBits\])]
    expected: FAIL

  [Success: generateKey(ml-kem-1024, false, [decapsulateKey, decapsulateBits\])]
    expected: FAIL

  [Success: generateKey(ml-kem-1024, true, [decapsulateKey, decapsulateBits\])]
    expected: FAIL

  [Success: generateKey(ml-kem-1024, false, [encapsulateBits, decapsulateKey, decapsulateBits\])]
    expected: FAIL

  [Success: generateKey(ml-kem-1024, true, [encapsulateBits, decapsulateKey, decapsulateBits\])]
    expected: FAIL

  [Success: generateKey(ml-kem-1024, false, [encapsulateKey, encapsulateBits, decapsulateKey, decapsulateBits\])]
    expected: FAIL

  [Success: generateKey(ml-kem-1024, true, [encapsulateKey, encapsulateBits, decapsulateKey, decapsulateBits\])]
    expected: FAIL

  [Success: generateKey(ml-kem-1024, false, [encapsulateKey, decapsulateKey, decapsulateBits\])]
    expected: FAIL

  [Success: generateKey(ml-kem-1024, true, [encapsulateKey, decapsulateKey, decapsulateBits\])]
    expected: FAIL

  [Success: generateKey(ml-kem-1024, false, [encapsulateBits, decapsulateBits\])]
    expected: FAIL

  [Success: generateKey(ml-kem-1024, true, [encapsulateBits, decapsulateBits\])]
    expected: FAIL

  [Success: generateKey(ml-kem-1024, false, [encapsulateKey, encapsulateBits, decapsulateBits\])]
    expected: FAIL

  [Success: generateKey(ml-kem-1024, true, [encapsulateKey, encapsulateBits, decapsulateBits\])]
    expected: FAIL

  [Success: generateKey(ml-kem-1024, false, [encapsulateKey, decapsulateBits\])]
    expected: FAIL

  [Success: generateKey(ml-kem-1024, true, [encapsulateKey, decapsulateBits\])]
    expected: FAIL

  [Success: generateKey(ml-kem-1024, false, [decapsulateKey\])]
    expected: FAIL

  [Success: generateKey(ml-kem-1024, true, [decapsulateKey\])]
    expected: FAIL

  [Success: generateKey(ml-kem-1024, false, [encapsulateBits, decapsulateKey\])]
    expected: FAIL

  [Success: generateKey(ml-kem-1024, true, [encapsulateBits, decapsulateKey\])]
    expected: FAIL

  [Success: generateKey(ml-kem-1024, false, [encapsulateKey, encapsulateBits, decapsulateKey\])]
    expected: FAIL

  [Success: generateKey(ml-kem-1024, true, [encapsulateKey, encapsulateBits, decapsulateKey\])]
    expected: FAIL

  [Success: generateKey(ml-kem-1024, false, [encapsulateKey, decapsulateKey\])]
    expected: FAIL

  [Success: generateKey(ml-kem-1024, true, [encapsulateKey, decapsulateKey\])]
    expected: FAIL

  [Success: generateKey(ml-kem-1024, false, [decapsulateBits, decapsulateKey, encapsulateBits, encapsulateKey, decapsulateBits, decapsulateKey, decapsulateBits, decapsulateKey, encapsulateBits, encapsulateKey\])]
    expected: FAIL

  [Success: generateKey(ml-kem-1024, true, [decapsulateBits, decapsulateKey, encapsulateBits, encapsulateKey, decapsulateBits, decapsulateKey, decapsulateBits, decapsulateKey, encapsulateBits, encapsulateKey\])]
    expected: FAIL

  [Success: generateKey({name: ml-kem-1024}, false, [decapsulateBits\])]
    expected: FAIL

  [Success: generateKey({name: ml-kem-1024}, true, [decapsulateBits\])]
    expected: FAIL

  [Success: generateKey({name: ml-kem-1024}, false, [decapsulateKey, decapsulateBits\])]
    expected: FAIL

  [Success: generateKey({name: ml-kem-1024}, true, [decapsulateKey, decapsulateBits\])]
    expected: FAIL

  [Success: generateKey({name: ml-kem-1024}, false, [encapsulateBits, decapsulateKey, decapsulateBits\])]
    expected: FAIL

  [Success: generateKey({name: ml-kem-1024}, true, [encapsulateBits, decapsulateKey, decapsulateBits\])]
    expected: FAIL

  [Success: generateKey({name: ml-kem-1024}, false, [encapsulateKey, encapsulateBits, decapsulateKey, decapsulateBits\])]
    expected: FAIL

  [Success: generateKey({name: ml-kem-1024}, true, [encapsulateKey, encapsulateBits, decapsulateKey, decapsulateBits\])]
    expected: FAIL

  [Success: generateKey({name: ml-kem-1024}, false, [encapsulateKey, decapsulateKey, decapsulateBits\])]
    expected: FAIL

  [Success: generateKey({name: ml-kem-1024}, true, [encapsulateKey, decapsulateKey, decapsulateBits\])]
    expected: FAIL

  [Success: generateKey({name: ml-kem-1024}, false, [encapsulateBits, decapsulateBits\])]
    expected: FAIL

  [Success: generateKey({name: ml-kem-1024}, true, [encapsulateBits, decapsulateBits\])]
    expected: FAIL

  [Success: generateKey({name: ml-kem-1024}, false, [encapsulateKey, encapsulateBits, decapsulateBits\])]
    expected: FAIL

  [Success: generateKey({name: ml-kem-1024}, true, [encapsulateKey, encapsulateBits, decapsulateBits\])]
    expected: FAIL

  [Success: generateKey({name: ml-kem-1024}, false, [encapsulateKey, decapsulateBits\])]
    expected: FAIL

  [Success: generateKey({name: ml-kem-1024}, true, [encapsulateKey, decapsulateBits\])]
    expected: FAIL

  [Success: generateKey({name: ml-kem-1024}, false, [decapsulateKey\])]
    expected: FAIL

  [Success: generateKey({name: ml-kem-1024}, true, [decapsulateKey\])]
    expected: FAIL

  [Success: generateKey({name: ml-kem-1024}, false, [encapsulateBits, decapsulateKey\])]
    expected: FAIL

  [Success: generateKey({name: ml-kem-1024}, true, [encapsulateBits, decapsulateKey\])]
    expected: FAIL

  [Success: generateKey({name: ml-kem-1024}, false, [encapsulateKey, encapsulateBits, decapsulateKey\])]
    expected: FAIL

  [Success: generateKey({name: ml-kem-1024}, true, [encapsulateKey, encapsulateBits, decapsulateKey\])]
    expected: FAIL

  [Success: generateKey({name: ml-kem-1024}, false, [encapsulateKey, decapsulateKey\])]
    expected: FAIL

  [Success: generateKey({name: ml-kem-1024}, true, [encapsulateKey, decapsulateKey\])]
    expected: FAIL

  [Success: generateKey({name: ml-kem-1024}, false, [decapsulateBits, decapsulateKey, encapsulateBits, encapsulateKey, decapsulateBits, decapsulateKey, decapsulateBits, decapsulateKey, encapsulateBits, encapsulateKey\])]
    expected: FAIL

  [Success: generateKey({name: ml-kem-1024}, true, [decapsulateBits, decapsulateKey, encapsulateBits, encapsulateKey, decapsulateBits, decapsulateKey, decapsulateBits, decapsulateKey, encapsulateBits, encapsulateKey\])]
    expected: FAIL

  [Success: generateKey(Ml-kem-1024, false, [decapsulateBits\])]
    expected: FAIL

  [Success: generateKey(Ml-kem-1024, true, [decapsulateBits\])]
    expected: FAIL

  [Success: generateKey(Ml-kem-1024, false, [decapsulateKey, decapsulateBits\])]
    expected: FAIL

  [Success: generateKey(Ml-kem-1024, true, [decapsulateKey, decapsulateBits\])]
    expected: FAIL

  [Success: generateKey(Ml-kem-1024, false, [encapsulateBits, decapsulateKey, decapsulateBits\])]
    expected: FAIL

  [Success: generateKey(Ml-kem-1024, true, [encapsulateBits, decapsulateKey, decapsulateBits\])]
    expected: FAIL

  [Success: generateKey(Ml-kem-1024, false, [encapsulateKey, encapsulateBits, decapsulateKey, decapsulateBits\])]
    expected: FAIL

  [Success: generateKey(Ml-kem-1024, true, [encapsulateKey, encapsulateBits, decapsulateKey, decapsulateBits\])]
    expected: FAIL

  [Success: generateKey(Ml-kem-1024, false, [encapsulateKey, decapsulateKey, decapsulateBits\])]
    expected: FAIL

  [Success: generateKey(Ml-kem-1024, true, [encapsulateKey, decapsulateKey, decapsulateBits\])]
    expected: FAIL

  [Success: generateKey(Ml-kem-1024, false, [encapsulateBits, decapsulateBits\])]
    expected: FAIL

  [Success: generateKey(Ml-kem-1024, true, [encapsulateBits, decapsulateBits\])]
    expected: FAIL

  [Success: generateKey(Ml-kem-1024, false, [encapsulateKey, encapsulateBits, decapsulateBits\])]
    expected: FAIL

  [Success: generateKey(Ml-kem-1024, true, [encapsulateKey, encapsulateBits, decapsulateBits\])]
    expected: FAIL

  [Success: generateKey(Ml-kem-1024, false, [encapsulateKey, decapsulateBits\])]
    expected: FAIL

  [Success: generateKey(Ml-kem-1024, true, [encapsulateKey, decapsulateBits\])]
    expected: FAIL

  [Success: generateKey(Ml-kem-1024, false, [decapsulateKey\])]
    expected: FAIL

  [Success: generateKey(Ml-kem-1024, true, [decapsulateKey\])]
    expected: FAIL

  [Success: generateKey(Ml-kem-1024, false, [encapsulateBits, decapsulateKey\])]
    expected: FAIL

  [Success: generateKey(Ml-kem-1024, true, [encapsulateBits, decapsulateKey\])]
    expected: FAIL

  [Success: generateKey(Ml-kem-1024, false, [encapsulateKey, encapsulateBits, decapsulateKey\])]
    expected: FAIL

  [Success: generateKey(Ml-kem-1024, true, [encapsulateKey, encapsulateBits, decapsulateKey\])]
    expected: FAIL

  [Success: generateKey(Ml-kem-1024, false, [encapsulateKey, decapsulateKey\])]
    expected: FAIL

  [Success: generateKey(Ml-kem-1024, true, [encapsulateKey, decapsulateKey\])]
    expected: FAIL

  [Success: generateKey(Ml-kem-1024, false, [decapsulateBits, decapsulateKey, encapsulateBits, encapsulateKey, decapsulateBits, decapsulateKey, decapsulateBits, decapsulateKey, encapsulateBits, encapsulateKey\])]
    expected: FAIL

  [Success: generateKey(Ml-kem-1024, true, [decapsulateBits, decapsulateKey, encapsulateBits, encapsulateKey, decapsulateBits, decapsulateKey, decapsulateBits, decapsulateKey, encapsulateBits, encapsulateKey\])]
    expected: FAIL

  [Success: generateKey({name: Ml-kem-1024}, false, [decapsulateBits\])]
    expected: FAIL

  [Success: generateKey({name: Ml-kem-1024}, true, [decapsulateBits\])]
    expected: FAIL

  [Success: generateKey({name: Ml-kem-1024}, false, [decapsulateKey, decapsulateBits\])]
    expected: FAIL

  [Success: generateKey({name: Ml-kem-1024}, true, [decapsulateKey, decapsulateBits\])]
    expected: FAIL

  [Success: generateKey({name: Ml-kem-1024}, false, [encapsulateBits, decapsulateKey, decapsulateBits\])]
    expected: FAIL

  [Success: generateKey({name: Ml-kem-1024}, true, [encapsulateBits, decapsulateKey, decapsulateBits\])]
    expected: FAIL

  [Success: generateKey({name: Ml-kem-1024}, false, [encapsulateKey, encapsulateBits, decapsulateKey, decapsulateBits\])]
    expected: FAIL

  [Success: generateKey({name: Ml-kem-1024}, true, [encapsulateKey, encapsulateBits, decapsulateKey, decapsulateBits\])]
    expected: FAIL

  [Success: generateKey({name: Ml-kem-1024}, false, [encapsulateKey, decapsulateKey, decapsulateBits\])]
    expected: FAIL

  [Success: generateKey({name: Ml-kem-1024}, true, [encapsulateKey, decapsulateKey, decapsulateBits\])]
    expected: FAIL

  [Success: generateKey({name: Ml-kem-1024}, false, [encapsulateBits, decapsulateBits\])]
    expected: FAIL

  [Success: generateKey({name: Ml-kem-1024}, true, [encapsulateBits, decapsulateBits\])]
    expected: FAIL

  [Success: generateKey({name: Ml-kem-1024}, false, [encapsulateKey, encapsulateBits, decapsulateBits\])]
    expected: FAIL

  [Success: generateKey({name: Ml-kem-1024}, true, [encapsulateKey, encapsulateBits, decapsulateBits\])]
    expected: FAIL

  [Success: generateKey({name: Ml-kem-1024}, false, [encapsulateKey, decapsulateBits\])]
    expected: FAIL

  [Success: generateKey({name: Ml-kem-1024}, true, [encapsulateKey, decapsulateBits\])]
    expected: FAIL

  [Success: generateKey({name: Ml-kem-1024}, false, [decapsulateKey\])]
    expected: FAIL

  [Success: generateKey({name: Ml-kem-1024}, true, [decapsulateKey\])]
    expected: FAIL

  [Success: generateKey({name: Ml-kem-1024}, false, [encapsulateBits, decapsulateKey\])]
    expected: FAIL

  [Success: generateKey({name: Ml-kem-1024}, true, [encapsulateBits, decapsulateKey\])]
    expected: FAIL

  [Success: generateKey({name: Ml-kem-1024}, false, [encapsulateKey, encapsulateBits, decapsulateKey\])]
    expected: FAIL

  [Success: generateKey({name: Ml-kem-1024}, true, [encapsulateKey, encapsulateBits, decapsulateKey\])]
    expected: FAIL

  [Success: generateKey({name: Ml-kem-1024}, false, [encapsulateKey, decapsulateKey\])]
    expected: FAIL

  [Success: generateKey({name: Ml-kem-1024}, true, [encapsulateKey, decapsulateKey\])]
    expected: FAIL

  [Success: generateKey({name: Ml-kem-1024}, false, [decapsulateBits, decapsulateKey, encapsulateBits, encapsulateKey, decapsulateBits, decapsulateKey, decapsulateBits, decapsulateKey, encapsulateBits, encapsulateKey\])]
    expected: FAIL

  [Success: generateKey({name: Ml-kem-1024}, true, [decapsulateBits, decapsulateKey, encapsulateBits, encapsulateKey, decapsulateBits, decapsulateKey, decapsulateBits, decapsulateKey, encapsulateBits, encapsulateKey\])]
    expected: FAIL