added tests for solver