- let marked, last_round = try Hashtbl.find final node_id with Not_found ->
- Printf.eprintf ">>> %i\n%!" node_id; false, !max_round;
- in
- let scolor, tcolor =
- let { sat ; todo; _ } =
- match M.find last_round m with
- [] -> { sat = StateSet.empty; todo= StateSet.empty; msg = "ERROR" }
- | [ e ] -> e
- | l -> List.hd (List.tl (List.rev l))
- in
- let c = (last_round, StateSet.union sat todo, StateSet.empty) in
- color c, text_color c
- in
+ let marked, conf = get_conf sel sat_arrays node_id in
+ let scolor, tcolor = color conf, text_color conf in