In the wfc_test_utils.c file, the function "WFCT_Utils_testElementBooleanAttrib" tests the setting of an incorrect parameter : 

[ wfc_test_utils.c, line 224]

"/* Set bad handle (float) */"
wfcSetElementAttribf(appCtx->dev, WFC_INVALID_HANDLE, attrib, expectedf);
WFCT_CHECK_ERROR(WFC_ERROR_BAD_ATTRIBUTE, "Raised wrong or no error for bad handle (float setter).");
valuef = wfcGetElementAttribf(appCtx->dev, WFC_INVALID_HANDLE, attrib);
WFCT_CHECK_ERROR(WFC_ERROR_BAD_ATTRIBUTE, "Raised wrong or no error for bad handle (float getter).");

The return code for such an invalid attribute (WFC_INVALID_HANDLE) should be (and actually is) WFC_ERROR_BAD_HANDLE, not WFC_ERROR_BAD_ATTRIBUTE as in the above code.