PR/44097 CVS commit: src/tests/lib/libc/gen

["Jukka Ruohonen" <jruoho%netbsd.org@localhost>]

The following reply was made to PR lib/44097; it has been noted by GNATS.

From: "Jukka Ruohonen" <jruoho%netbsd.org@localhost>
To: gnats-bugs%gnats.NetBSD.org@localhost
Cc: 
Subject: PR/44097 CVS commit: src/tests/lib/libc/gen
Date: Wed, 6 Apr 2011 10:04:53 +0000

 Module Name:   src
 Committed By:  jruoho
 Date:          Wed Apr  6 10:04:53 UTC 2011
 
 Modified Files:
        src/tests/lib/libc/gen: t_humanize_number.c
 
 Log Message:
 Formally verify the numerous bugs in humanize_number(3).
 From PR lib/44097, by yamt@.
 
 
 To generate a diff of this commit:
 cvs rdiff -u -r1.1 -r1.2 src/tests/lib/libc/gen/t_humanize_number.c
 
 Please note that diffs are not public domain; they are subject to the
 copyright notices on the relevant files.