[commit: packages/binary] master: Improve model tests (510bf8b)

[git at git.haskell.org]

Repository : ssh://git@git.haskell.org/binary

On branch  : master
Link       : http://git.haskell.org/packages/binary.git/commitdiff/510bf8b5f55624dbbc7a02369d132afafea1d15c

>---------------------------------------------------------------

commit 510bf8b5f55624dbbc7a02369d132afafea1d15c
Author: Lennart Kolmodin <kolmodin at gmail.com>
Date:   Sun May 11 13:16:57 2014 +0400

    Improve model tests
    
    In the model tests, generate more kinds of programs.
    Previously, only programs that failed by using 'fail' were generated.
    Now we also fail decoders by running out of input, using too much or
    too little input in a isolate block.
    Also correct the tests when they check for labels.
    
    This change exposes some bugs in isolate.


>---------------------------------------------------------------

510bf8b5f55624dbbc7a02369d132afafea1d15c
 binary.cabal    |   4 +--
 tests/Action.hs | 110 ++++++++++++++++++++++++++++++++++++++++----------------
 2 files changed, 82 insertions(+), 32 deletions(-)

Diff suppressed because of size. To see it, use:

    git diff-tree --root --patch-with-stat --no-color --find-copies-harder --ignore-space-at-eol --cc 510bf8b5f55624dbbc7a02369d132afafea1d15c