Skip to content

A logic question in msolve_julia #308

Description

@wegank

In the following file:

msolve/src/msolve/msolve.c

Lines 5566 to 5577 in 6c9d63e

/* clean up data storage, but do not free data handled by julia */
free(gens);
gens = NULL;
*rp_var_namesp = rp_var_names;
/* free parametrization */
if(param != NULL && gens->field_char){
free_fglm_param(param);
}
mpz_param_clear(mpz_param);

why do we perform a check on gens->field_char with gens being NULL?

Metadata

Metadata

Assignees

No one assigned

    Labels

    No labels
    No labels

    Type

    No type
    No fields configured for issues without a type.

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions