aboutsummaryrefslogtreecommitdiffstats
path: root/tests (unfollow)
Commit message (Expand)AuthorFilesLines
2007-04-30check we never generate invalid stack setsDon Stewart1-1/+18
2007-04-30view n . shift n . view i . shift i) xDon Stewart1-4/+8
2007-04-30add rotate all and view idempotency testsDon Stewart1-3/+19
2007-04-30push is idempotentDon Stewart1-1/+3
2007-04-30add two properties relating to empty window managersDon Stewart1-1/+13
2007-04-30new QC property: opening a window only affects the current screenDon Stewart1-0/+8
2007-04-30a bit more precise about building non-empty stacksets for one testDon Stewart1-1/+1
2007-04-30move size into Properties.hsDon Stewart1-0/+5
2007-04-29add fromList to Properties.hsDon Stewart1-1/+20
2007-04-26Remove toListSpencer Janssen1-6/+1
2007-04-19Arbitrary Word64 for running tests on amd64Alec Berryman1-0/+8
2007-04-19add 8 new QC tests, including tests of the layout algorithmDon Stewart1-2/+125
2007-04-19Parameterise StackSet by two index types, rather than breaking abstractionDon Stewart1-3/+3
2007-04-192 more properties for promote.Don Stewart1-2/+17
2007-04-19tweak loc count to match count_lines scriptDon Stewart1-1/+2
2007-04-19Promote now swaps focused window with master windowDon Stewart1-1/+9
2007-04-18Update propaganda.Spencer Janssen1-1/+1
2007-04-18define test to ensure LOC doesn't jump above 400.David Roundy1-0/+15
2007-04-11and the tests still runDon Stewart1-5/+6
2007-04-11fromList/toList have # of screens + another QC propertyJason Creighton1-1/+9
2007-04-10moved screen <-> workspace mapping from XMonad to StackSetJason Creighton1-7/+19
2007-03-28added a quickcheck propertydaniel1-0/+7
2007-03-09more QC properties on StackSetsDon Stewart1-7/+42
2007-03-09simpler type (no need to cache size, we *could* grow new stacks on demand now)Don Stewart1-4/+2
2007-03-09simplify StackSet api even further (-15 loc)Don Stewart1-3/+1
2007-03-09smaller api, less testsDon Stewart1-37/+5
2007-03-08forgot to add Properties.hsDon Stewart1-0/+166
generated by cgit v1.2.3 (git 2.25.1) at 2024-11-28 19:18:26 +0000