Deutsch English Français Italiano |
<v5duto$1fid4$2@dont-email.me> View for Bookmarking (what is this?) Look up another Usenet article |
Path: ...!feed.opticnetworks.net!eternal-september.org!feeder3.eternal-september.org!news.eternal-september.org!.POSTED!not-for-mail From: David Brown <david.brown@hesbynett.no> Newsgroups: comp.lang.c Subject: Re: Fixing a sample from K&R book using cake static analyser Date: Tue, 25 Jun 2024 10:25:28 +0200 Organization: A noiseless patient Spider Lines: 13 Message-ID: <v5duto$1fid4$2@dont-email.me> References: <v53sl1$35qt7$1@dont-email.me> <v558hv$3dskb$1@dont-email.me> <20240623034624.135@kylheku.com> <87wmmfq4if.fsf@bsb.me.uk> <20240624012527.8bbe16b96f5bfca10feadb5c@gmail.moc> <87zfrbnsvv.fsf@bsb.me.uk> <v5aeue$j1nj$4@dont-email.me> <v5bet5$s3j6$1@dont-email.me> <v5ctpq$15hrn$2@dont-email.me> MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8; format=flowed Content-Transfer-Encoding: 7bit Injection-Date: Tue, 25 Jun 2024 10:25:28 +0200 (CEST) Injection-Info: dont-email.me; posting-host="9cf53d04b66d1800440e1f149c520af4"; logging-data="1558948"; mail-complaints-to="abuse@eternal-september.org"; posting-account="U2FsdGVkX19NtQHpilV/4T8DLe6oyC4pHQrx34XnlI0=" User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:102.0) Gecko/20100101 Thunderbird/102.11.0 Cancel-Lock: sha1:LWiwCfaF0Jhkx3U2iwVcaRcAjz8= Content-Language: en-GB In-Reply-To: <v5ctpq$15hrn$2@dont-email.me> Bytes: 1833 On 25/06/2024 01:00, Lawrence D'Oliveiro wrote: > On Mon, 24 Jun 2024 11:39:49 +0200, David Brown wrote: > >> It's much clearer (to me) to separate the cases and deal >> with them individually. > > Except it becomes difficult to ensure that you have indeed tested all > those cases. No, it is vastly /easier/ to test the cases when they are clear and distinct. (That doesn't necessarily mean it will be /easy/, but it will definitely be /easier/.)