comparison test/runtime/8003720/Test8003720.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 dad48145e775
children
comparison
equal deleted inserted replaced
9483:e577da5a49f2 9484:2b663d5893d3