This test alredy exists in test_solvers.py