rAKA/test/test_model/test_model_solver/test_dof_manager_default.verified

bugfixes/installation_d…ce6b1a2fbb9ae9d6e5cac34…