Re: [Pharo-dev] Coverage testing options