add tests for solver options