aboutsummaryrefslogtreecommitdiffstats
path: root/tests/Properties.hs (follow)
Commit message (Collapse)AuthorAgeFilesLines
...
* add rotate all and view idempotency testsDon Stewart2007-04-301-3/+19
| | | | darcs-hash:20070430055751-9c5c1-da5da09a5c2ff160fb7b243794d5fd3d7f954cb1.gz
* push is idempotentDon Stewart2007-04-301-1/+3
| | | | darcs-hash:20070430054345-9c5c1-98af87adafacc002e4df6e22ea42ac97f40b4399.gz
* add two properties relating to empty window managersDon Stewart2007-04-301-1/+13
| | | | darcs-hash:20070430051016-9c5c1-ec4c5d4ed5353026b45a769570d53cf299b31ec2.gz
* new QC property: opening a window only affects the current screenDon Stewart2007-04-301-0/+8
| | | | darcs-hash:20070430050133-9c5c1-32823e4a47119867b1425a8bbe81af44dc8b7f1e.gz
* a bit more precise about building non-empty stacksets for one testDon Stewart2007-04-301-1/+1
| | | | darcs-hash:20070430035729-9c5c1-90b4f4b1e0db1884704e3a1d8fc246734220b603.gz
* move size into Properties.hsDon Stewart2007-04-301-0/+5
| | | | darcs-hash:20070430021758-9c5c1-f1ae3d5c2639b9c3ee91ccdebaefe0cf4a2c6df5.gz
* add fromList to Properties.hsDon Stewart2007-04-291-1/+20
| | | | darcs-hash:20070429035823-9c5c1-37dc9df3086bb7672eeea83e4add3aeb4ffa0bd4.gz
* Remove toListSpencer Janssen2007-04-261-6/+1
| | | | darcs-hash:20070426005713-a5988-10ed3204d691050d7ce018072d3fcf03221f545e.gz
* Arbitrary Word64 for running tests on amd64Alec Berryman2007-04-191-0/+8
| | | | | | | | Copied from Arbitrary Word8; I don't understand the coarbitrary definition and the Word64 one may be erroneous, but Properties.hs now compiles and passes all tests. darcs-hash:20070419104652-39448-765063393aada90785e3160dcfb6c5cc43fb34f1.gz
* add 8 new QC tests, including tests of the layout algorithmDon Stewart2007-04-191-2/+125
| | | | darcs-hash:20070419040833-9c5c1-9d8965bf22113a8aec47244eab7c769affb75951.gz
* Parameterise StackSet by two index types, rather than breaking abstractionDon Stewart2007-04-191-3/+3
| | | | darcs-hash:20070419012705-9c5c1-3aa97e02123af08c3f4500c9e9c3bb7ab4121652.gz
* 2 more properties for promote.Don Stewart2007-04-191-2/+17
| | | | darcs-hash:20070419001201-9c5c1-7ab345797094d164e47185bebefe05b1add6e120.gz
* Promote now swaps focused window with master windowDon Stewart2007-04-191-1/+9
| | | | | | | | | | | | | This means other windows are unaffected. The change from the previous cycling behaviour was felt necessary, since cycling isn't a terribly useful operation. Some properties that hold: focus is unchanged by promotion promote is idempotent (promoting twice does nothing) the focused and master window will swap their positions in the stack darcs-hash:20070418224236-9c5c1-4539f9f397e181f91dc9743e3ffac4b5796c0fac.gz
* and the tests still runDon Stewart2007-04-111-5/+6
| | | | darcs-hash:20070411081500-9c5c1-de5c90255b488c617bee222ece8e4ff059a8a95a.gz
* fromList/toList have # of screens + another QC propertyJason Creighton2007-04-111-1/+9
| | | | darcs-hash:20070411044215-b9aa7-e66ef93fac9102201bfd145ebb26c38bbecd25de.gz
* moved screen <-> workspace mapping from XMonad to StackSetJason Creighton2007-04-101-7/+19
| | | | darcs-hash:20070410062731-b9aa7-e1768a3fe6c0e3c749400dffc4a5a5e33e6a08c4.gz
* added a quickcheck propertydaniel2007-03-281-0/+7
| | | | darcs-hash:20070328025337-c98ca-5ce390ce8d1d5f5a35fe1ba851cf09fc96ca7183.gz
* more QC properties on StackSetsDon Stewart2007-03-091-7/+42
| | | | darcs-hash:20070309054042-9c5c1-2ae77f352ab1e5c822e8144c4685c24d4d12059d.gz
* simpler type (no need to cache size, we *could* grow new stacks on demand now)Don Stewart2007-03-091-4/+2
| | | | darcs-hash:20070309043638-9c5c1-d943771821d71f87bae133c90d0d3f3a615f4010.gz
* simplify StackSet api even further (-15 loc)Don Stewart2007-03-091-3/+1
| | | | darcs-hash:20070309041707-9c5c1-3c9ef62c25f49b9025f137f73c8d25438a640ff4.gz
* smaller api, less testsDon Stewart2007-03-091-37/+5
| | | | darcs-hash:20070309035635-9c5c1-98fef33dead5a1f092b4d21120a45da06ffe164e.gz
* forgot to add Properties.hsDon Stewart2007-03-081-0/+166
darcs-hash:20070308120521-9c5c1-984458c813a58b04c648b05f314165541c74d2b7.gz