aboutsummaryrefslogtreecommitdiffstats
path: root/tests/Properties.hs (follow)
Commit message (Expand)AuthorAgeFilesLines
...
* view n . shift n . view i . shift i) xDon Stewart2007-04-301-4/+8
* add rotate all and view idempotency testsDon Stewart2007-04-301-3/+19
* push is idempotentDon Stewart2007-04-301-1/+3
* add two properties relating to empty window managersDon Stewart2007-04-301-1/+13
* new QC property: opening a window only affects the current screenDon Stewart2007-04-301-0/+8
* a bit more precise about building non-empty stacksets for one testDon Stewart2007-04-301-1/+1
* move size into Properties.hsDon Stewart2007-04-301-0/+5
* add fromList to Properties.hsDon Stewart2007-04-291-1/+20
* Remove toListSpencer Janssen2007-04-261-6/+1
* Arbitrary Word64 for running tests on amd64Alec Berryman2007-04-191-0/+8
* add 8 new QC tests, including tests of the layout algorithmDon Stewart2007-04-191-2/+125
* Parameterise StackSet by two index types, rather than breaking abstractionDon Stewart2007-04-191-3/+3
* 2 more properties for promote.Don Stewart2007-04-191-2/+17
* Promote now swaps focused window with master windowDon Stewart2007-04-191-1/+9
* and the tests still runDon Stewart2007-04-111-5/+6
* fromList/toList have # of screens + another QC propertyJason Creighton2007-04-111-1/+9
* moved screen <-> workspace mapping from XMonad to StackSetJason Creighton2007-04-101-7/+19
* added a quickcheck propertydaniel2007-03-281-0/+7
* more QC properties on StackSetsDon Stewart2007-03-091-7/+42
* simpler type (no need to cache size, we *could* grow new stacks on demand now)Don Stewart2007-03-091-4/+2
* simplify StackSet api even further (-15 loc)Don Stewart2007-03-091-3/+1
* smaller api, less testsDon Stewart2007-03-091-37/+5
* forgot to add Properties.hsDon Stewart2007-03-081-0/+166