Added test for armcov and corrected some missbehaviour