int OBJ_txt2nid()

in source/objects_override.c [25:37]

• 12 lines of code
• 4 McCabe index (conditional complexity)

int OBJ_txt2nid(const char *s) {
    // Currently these are the only values used in the ESDK
    if (!s) {
        return NID_undef;
    } else if (strcmp(s, "prime256v1") == 0) {
        return NID_X9_62_prime256v1;
    } else if (strcmp(s, "secp384r1") == 0) {
        return NID_secp384r1;
    } else {
        __CPROVER_assert(0, "s had unexpected value");
    }
    return nondet_int();
}