Comment 10 for bug 1974196

Please note that this is not the test plan documented in the bug. But glad this worked for you, I was not sure it was still reproducible, hence why there's a solver dump based test case in the regression test suite.

But your test is valid too, the test suite still needs to pass, but failure to pass would block SRU either way, so I'll keep the tags as done.