Homec4science

rAKA/test/test_solver/test_petsc_matrix_profile.verified
bugfixes/coverage-not…