Homec4science

rAKA/src/model/dof_manager_petsc.cc
e25f4e309c2ebugfixes/coverage-not…