solver-factory: add test.