rAKA/test/test_model/test_model_solver/test_dof_manager_default.verified

bugfixes/all_bugs_found…0db649cf6d67c56aa4bde2e…