Ken Takata wrote:
> Hi Bram,
>
> 2013/08/10 Sat 19:45:27 UTC+9 Bram Moolenaar wrote:
>
> > That's tricky. How did you find it? If I'm not mistaken this only
> > happens once in 2^20 seconds...
>
> With my eyes ;-)
> When I checking is there any function which doesn't use Unicode APIs,
> I found that this function uses GetTickCount(). I know that there was
> a famous 49.7 days bug on Win9x related to this API. So I checked this
> function closely and found it.
So we would have to write a test and run it for 50 days to check that
the bug is fixed :-).
And run it without the fix to verify the test fails then. Fortunately
they can run in parallel.
Be sure to disable automatic updates, otherwise the system will reboot
within 50 days.
--
Proof techniques #2: Proof by Oddity.
SAMPLE: To prove that horses have an infinite number of legs.
(1) Horses have an even number of legs.
(2) They have two legs in back and fore legs in front.
(3) This makes a total of six legs, which certainly is an odd number of
legs for a horse.
(4) But the only number that is both odd and even is infinity.
(5) Therefore, horses must have an infinite number of legs.
/// Bram Moolenaar -- [email protected] -- http://www.Moolenaar.net \\\
/// sponsor Vim, vote for features -- http://www.Vim.org/sponsor/ \\\
\\\ an exciting new programming language -- http://www.Zimbu.org ///
\\\ help me help AIDS victims -- http://ICCF-Holland.org ///
--
--
You received this message from the "vim_dev" maillist.
Do not top-post! Type your reply below the text you are replying to.
For more information, visit http://www.vim.org/maillist.php
---
You received this message because you are subscribed to the Google Groups
"vim_dev" group.
To unsubscribe from this group and stop receiving emails from it, send an email
to [email protected].
For more options, visit https://groups.google.com/groups/opt_out.
