Paddy <[EMAIL PROTECTED]> writes: > I would rather advocate such random test generation methods as being > more appropriate for testing software in safety critical systems when > the programming language is dynamic.
That method totally failed to find the Pentium FDIV bug, and they use static proof checkers like ACL2 now. -- http://mail.python.org/mailman/listinfo/python-list
