• Iustin Pop's avatar
    htools: Switch to QuickCheck 2.x · 8e4f6d56
    Iustin Pop authored
    Since current distros don't package anymore QuickCheck 1.x, let's move
    to 2.x.
    This requires also a few changes to the code:
    - Test.QuickCheck.Batch doesn't exist anymore, so we need to write some
      scaffolding code to replace it
    - the way test sizes are generated has changed, and we need to restrict
      (in some tests) the cluster size, as our code is not yet ready for
      hundreds of thousands of nodes in a cluster and we run out of stack
      (which could be a bug somewhere by itself, needs investigation)
    - at least with GHC 7, floating point errors make a perfect cluster
      score even bigger, so we need to bump up the max. rounding error
    Signed-off-by: default avatarIustin Pop <iustin@google.com>
    Reviewed-by: default avatarGuido Trotter <ultrotter@google.com>
configure.ac 14.8 KB