Fix this code: (the free in clan_options_free is not a bug)
File clay.c Line 100
clan_opt->name = options->input_name;
clan_opt->extbody = 1;
scop = clan_scop_extract(options->input, clan_opt);
//clan_options_free(clan_opt); // bug, the name is also freed
Fix this code: (the free in clan_options_free is not a bug)
File clay.c Line 100
clan_opt->name = options->input_name; clan_opt->extbody = 1; scop = clan_scop_extract(options->input, clan_opt); //clan_options_free(clan_opt); // bug, the name is also freed