summaryrefslogtreecommitdiffstats
path: root/tests/Properties.hs
AgeCommit message (Expand)Author
2007-03-28added a quickcheck propertydaniel
2007-03-09more QC properties on StackSetsDon Stewart
2007-03-09simpler type (no need to cache size, we *could* grow new stacks on demand now)Don Stewart
2007-03-09simplify StackSet api even further (-15 loc)Don Stewart
2007-03-09smaller api, less testsDon Stewart
2007-03-08forgot to add Properties.hsDon Stewart