diff options
author | glasser <glasser@mit.edu> | 2007-05-25 18:31:59 +0200 |
---|---|---|
committer | glasser <glasser@mit.edu> | 2007-05-25 18:31:59 +0200 |
commit | 552d8086d5dd9ff14ee1cbf83da771c63a4c0784 (patch) | |
tree | e2c0986ad20f558e76bcdd427d9974abdffb5451 /README | |
parent | 27c3bbe9657f1d003428de55dfa16c5314801b77 (diff) | |
download | metatile-552d8086d5dd9ff14ee1cbf83da771c63a4c0784.tar metatile-552d8086d5dd9ff14ee1cbf83da771c63a4c0784.zip |
Add a test that the size field of StackSet is correct to QuickCheck invariant.
darcs-hash:20070525163159-64353-15e04204eb27aebe6c98a58c8e26b5c5d3083348
Diffstat (limited to 'README')
0 files changed, 0 insertions, 0 deletions