add new method to return positive integers only
authorbdemsky <bdemsky>
Mon, 29 Jun 2009 10:19:35 +0000 (10:19 +0000)
committerbdemsky <bdemsky>
Mon, 29 Jun 2009 10:19:35 +0000 (10:19 +0000)
commit0325a0756421cd8608edf2ea3d6d25eca9fadad8
tree35c315b9e02a365e9eb8c7bb923aabc3c73587c6
parentc43ae9ea191cbd0d8adf3e4db5e674bee7b22a2a
add new method to return positive integers only
Robust/src/Benchmarks/SingleTM/common/Random.java