Commit dbe67187 authored by yb9976's avatar yb9976
Browse files

Panic in case of an invalid solution.

parent 7af9389c
......@@ -754,7 +754,8 @@ static void be_pbqp_coloring(be_chordal_env_t *env)
num solution = get_solution(pbqp_alloc_env.pbqp_inst);
assert(solution != INF_COSTS && "No PBQP solution found");
if (solution == INF_COSTS)
panic("No PBQP solution found");
/* assign colors */
Supports Markdown
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