RAIM algorithm should also continue when it fails to converge if there is still room to do combinations (i.e., still possible to reject satellites).
RAIM algorithm should also continue when it fails to converge if there is still room to do combinations (i.e., still possible to reject satellites).

git-svn-id: 6625e4d6743179724b113c04fbf297d122273a36@2190 108fab2b-820f-0410-9f2c-e5cc2c41d7be

ianmartin/GPSTk,ianmartin/GPSTk,ianmartin/GPSTk,ianmartin/GPSTk,ianmartin/GPSTk,ianmartin/GPSTk