On Tuesday 28 October 2003 05:44, Geoff Thorpe wrote: ... > inconsistent state. BTW: my definition of a consistent state for a > bignum x is for it to be invariant under bn_fix_top(). It's a
what about: x is invariant under bn_fix_top && x.top <= x.max (<=> invariant under bn_fix_top and bn_check_top shouldn't fail). Nils ______________________________________________________________________ OpenSSL Project http://www.openssl.org Development Mailing List [EMAIL PROTECTED] Automated List Manager [EMAIL PROTECTED]
