comparison eclipse/test-JPF.launch @ 5:1ba6ea44e5f9

slight fix of RandomPermutationGenerator, which should re-shuffle the original array, not the previous permutation
author Peter Mehlitz <pcmehlitz@gmail.com>
date Thu, 05 Feb 2015 19:13:42 -0800
parents 61d41facf527
children
comparison
equal deleted inserted replaced
4:d0a0ff1c0e10 5:1ba6ea44e5f9