Commit fbc00a8f authored by danfis's avatar danfis

bin/sym-reduce: Disable prioritization in inference of fam-groups.

parent 0b903791
......@@ -254,8 +254,8 @@ static int inferOpMutexes(const plan_strips_t *strips,
unsigned fam_flags = PLAN_FAMGROUP_MAXIMAL;
//fam_flags |= PLAN_FAMGROUP_KEEP_ONLY_ASYMETRIC;
//if (planFAMGroupsInferMaximal(&mgroup, strips) != 0)
fam_flags |= PLAN_FAMGROUP_PRIORITIZE_UNCOVERED;
// TODO: time-limit as option
//fam_flags |= PLAN_FAMGROUP_PRIORITIZE_UNCOVERED;
if (planFAMGroupsInferSym(&mgroup, strips, fam_flags, sym, 0, -1.) != 0)
BOR_ERR_RET2(err, -1, "Error while inferring fam-groups.");
BOR_INFO(err, " --> Found %d fam-groups", mgroup.mgroup_size);
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment