diff test/runtime/7116786/Test7116786.java @ 9484:2b663d5893d3

Allow rounding errors in probabilities
author Christian Wimmer <christian.wimmer@oracle.com>
date Wed, 01 May 2013 13:33:07 -0700
parents aa758f0c5b1c
children c77d5db18942
line wrap: on
line diff