Paddy <[EMAIL PROTECTED]> writes: > Given the complexity of current microprocessors i'm guessing that > their previous testing methods would be too good to just junk in > totality because the FDIV bug was not found. Similarly if they were > not using formal methods then it makes sense to add it too your > arsenal; and unfortunately it takes a mistake like that to allow > different methods to be explored and incorporated.
Fair enough. My main issue was against the notion that random testing is the only thing necessary. -- http://mail.python.org/mailman/listinfo/python-list
