diff test/runtime/7194254/Test7194254.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 48087f745a86
children
line wrap: on
line diff