<div>If there are unused options, it means that these tests are BROKEN and need to be fixed.</div><div><br></div><a href="http://petsc.cs.iit.edu/petsc/petsc-dev/rev/0b0137b52d2e">http://petsc.cs.iit.edu/petsc/petsc-dev/rev/0b0137b52d2e</a><br>