Skip to content

Upgrade_Options, add fitter to TopAlgs to actually execute it

Christoph Hasse requested to merge fixupgrade_options_topalg into master

The Fitter was missing in the TopAlg list, thus wasn't executed in the scenarios where it should.
Fixed now.

@cattanem this will slightly change the output of these tests but doesn't change anything else. I added new refs which will hopefully work right away.

fyi: @maszyman @sstahl @gligorov

Merge request reports