AcceptSolver/AdoptSolver: do not lose information when grouped
A TargetSolver might have its configuration updated multiple times, if the same solver type was chosen for different divergences (solver_decisions). We must take care not to overwrite configuration from earlier updates with the data from later ones.
Showing
Please register or sign in to comment