Groups | Search | Server Info | Keyboard shortcuts | Login | Register [http] [https] [nntp] [nntps]
Groups > comp.lang.forth > #27759
| From | "Ed" <invalid@invalid.com> |
|---|---|
| Newsgroups | comp.lang.forth |
| Subject | Re: Hayes tester fails |
| Date | 2014-01-09 22:12 +1100 |
| Organization | Aioe.org NNTP Server |
| Message-ID | <lam399$36n$1@speranza.aioe.org> (permalink) |
| References | <lah624$s2s$2@speranza.aioe.org> <5b9613a9-756c-40f5-b170-0a1665792575@googlegroups.com> |
Howerd wrote:
> Hi Ed,
>
> It took me a while to understand what you were saying...
>
> How about we add this line to the Hayes test? :
>
> T{ -1 S>D 2 FM/MOD -> -1 1 }T
>
> It covers that case where the divisor has a greater magnitude than the dividend, and the
> dividend is negative.
> ...
You can do that and Hayes will catch more implementation errors.
What Hayes can't do, is tell you that there are no errors in the functions
it tests.
Back to comp.lang.forth | Previous | Next — Previous in thread | Next in thread | Find similar | Unroll thread
Hayes tester fails "Ed" <invalid@invalid.com> - 2014-01-08 02:20 +1100
Re: Hayes tester fails "Alex McDonald" <blog@rivadpm.com> - 2014-01-07 21:15 +0000
Re: Hayes tester fails "Alex McDonald" <blog@rivadpm.com> - 2014-01-07 21:20 +0000
Re: Hayes tester fails anton@mips.complang.tuwien.ac.at (Anton Ertl) - 2014-01-08 14:58 +0000
Re: Hayes tester fails "Rod Pemberton" <dont_use_email@xnohavenotit.cnm> - 2014-01-08 19:53 -0500
Re: Hayes tester fails "Ed" <invalid@invalid.com> - 2014-01-09 21:49 +1100
Re: Hayes tester fails anton@mips.complang.tuwien.ac.at (Anton Ertl) - 2014-01-09 12:57 +0000
Re: Hayes tester fails "Ed" <invalid@invalid.com> - 2014-01-11 16:06 +1100
Re: Hayes tester fails "Rod Pemberton" <dont_use_email@xnohavenotit.cnm> - 2014-01-11 10:28 -0500
Re: Hayes tester fails anton@mips.complang.tuwien.ac.at (Anton Ertl) - 2014-01-13 16:18 +0000
Re: Hayes tester fails "Ed" <invalid@invalid.com> - 2014-01-15 10:29 +1100
Re: Hayes tester fails "Alex McDonald" <blog@rivadpm.com> - 2014-01-15 00:00 +0000
Re: Hayes tester fails AKK <akk@nospam.org> - 2014-01-15 02:06 +0100
Re: Hayes tester fails "Ed" <invalid@invalid.com> - 2014-01-19 01:33 +1100
Re: Hayes tester fails anton@mips.complang.tuwien.ac.at (Anton Ertl) - 2014-01-18 16:58 +0000
Re: Hayes tester fails "Ed" <invalid@invalid.com> - 2014-01-21 00:09 +1100
Re: Hayes tester fails "Alex McDonald" <blog@rivadpm.com> - 2014-01-20 14:36 +0000
Re: Hayes tester fails "Ed" <invalid@invalid.com> - 2014-01-25 22:53 +1100
Re: Hayes tester fails "Alex McDonald" <blog@rivadpm.com> - 2014-01-25 23:21 +0000
Re: Hayes tester fails anton@mips.complang.tuwien.ac.at (Anton Ertl) - 2014-01-21 14:50 +0000
Re: Hayes tester fails "Rod Pemberton" <dont_use_email@xnohavenotit.cnm> - 2014-01-15 02:40 -0500
Re: Hayes tester fails "Elizabeth D. Rather" <erather@forth.com> - 2014-01-14 21:52 -1000
Re: Hayes tester fails "Ed" <invalid@invalid.com> - 2014-01-19 00:10 +1100
Re: Hayes tester fails Andrew Haley <andrew29@littlepinkcloud.invalid> - 2014-01-15 03:28 -0600
Re: Hayes tester fails "Rod Pemberton" <dont_use_email@xnohavenotit.cnm> - 2014-01-11 10:30 -0500
Re: Hayes tester fails "Ed" <invalid@invalid.com> - 2014-01-13 10:45 +1100
Re: Hayes tester fails Howerd <howerdo@yahoo.co.uk> - 2014-01-09 02:51 -0800
Re: Hayes tester fails "Ed" <invalid@invalid.com> - 2014-01-09 22:12 +1100
Re: Hayes tester fails Howerd <howerdo@yahoo.co.uk> - 2014-01-09 06:44 -0800
Re: Hayes tester fails "Ed" <invalid@invalid.com> - 2014-01-11 16:14 +1100
Re: Hayes tester fails Howerd <howerdo@yahoo.co.uk> - 2014-01-11 02:35 -0800
Re: Hayes tester fails Coos Haak <chforth@hccnet.nl> - 2014-01-11 13:46 +0100
Re: Hayes tester fails "Ed" <invalid@invalid.com> - 2014-01-13 11:16 +1100
csiph-web