Pavel Yaskevich 731ec39c24 [CSStep] Properly finalize component step without follow-up steps ...

Currently finalization e.g. scope reset and solution minimization
is only done if component step had follow-up e.g. type variable or
disjunction step(s), but it should be done if `take` generated any
fixes as well, or component changed score in any way, otherwise
we might miss some solutions with fixes because "best score" haven't
been reset properly.

2019-07-17 18:04:11 -07:00

22 KiB

Raw Blame History

View Raw