Homec4science

rAKA/src/solver/vector_petsc.cc
bugfixes/coverage-not…