aboutsummaryrefslogtreecommitdiffstats
path: root/tests (follow)
Commit message (Expand)AuthorAgeFilesLines
* Add StackSet.allWindowsSpencer Janssen2007-10-011-0/+3
* deeper test for differentiate. back to 100% coverageDon Stewart2007-09-301-1/+1
* properties for tag renamingDon Stewart2007-09-301-0/+21
* test lookupWorkspace more deeplyDon Stewart2007-09-301-0/+10
* 100% coverage of alternative branchesDon Stewart2007-09-291-2/+9
* add some more properties for failure casesDon Stewart2007-09-291-0/+29
* add (unused) Layout to StackSet.David Roundy2007-09-201-14/+16
* add prop for 'differentiate'Don Stewart2007-09-281-0/+5
* new QC properties: floating a window is reversible, screens includes current ...Don Stewart2007-09-281-0/+18
* Add 3 QC properties for focusMaster: local, idempotent, preserves invariantDon Stewart2007-09-271-2/+19
* Fix float behaviour, add shiftWin.Karsten Schoelzel2007-09-101-0/+23
* Add greedyView, make it the default action for mod-werSpencer Janssen2007-08-151-0/+36
* QuickCheck filter preserves orderKarsten Schoelzel2007-07-281-0/+12
* Move screen details into StackSetSpencer Janssen2007-06-291-26/+31
* add 2 properties to state where focus goes on delete of focused windowDon Stewart2007-06-261-1/+24
* make workspace tag not need to be a Num.David Roundy2007-06-141-42/+29
* make focus, up and down complete functions.David Roundy2007-06-121-13/+9
* Add StackSet.filterSpencer Janssen2007-06-111-1/+1
* remove LOC cap (but still print count after tests)Jason Creighton2007-05-311-1/+0
* HEADS UP: change key binding for swapLeft/Right and IncMasterDon Stewart2007-05-261-46/+46
* Delete the Catch wrapper, no longer required by the latest version of CatchNeil Mitchell2007-05-241-72/+0
* Add a test that the size field of StackSet is correct to QuickCheck invariant.glasser2007-05-251-0/+3
* Quickcheck property to check that delete / focus behaviourRob2007-05-251-0/+4
* Fix bug in noDuplicate invariantRob2007-05-251-3/+3
* add swapLeft and swapRightbobstopper2007-05-221-23/+46
* Update the Catch checking to the new interface for StackSetNeil Mitchell2007-05-221-3/+15
* Move xinerama current/visible/hidden workspace logic into StackSet directly.Don Stewart2007-05-211-70/+53
* HEADS UP: Rewrite StackSet as a ZipperDon Stewart2007-05-201-276/+537
* variable number of windows in master areaJason Creighton2007-05-161-2/+2
* beautify tileDavid Roundy2007-05-151-3/+3
* keep focus stack.David Roundy2007-05-101-9/+12
* bump LOC limit to 550Jason Creighton2007-05-101-1/+1
* Remove broken prop_promoterotate, replace it with prop_promote_raise_idSpencer Janssen2007-05-081-4/+7
* Disable shift_reversible until focus issues are decided.Spencer Janssen2007-05-081-1/+5
* Disable delete.push until focus issues are decidedSpencer Janssen2007-05-081-1/+5
* Add the initial Catch testing framework for StackSetNeil Mitchell http://www.cs.york.ac.uk/~ndm/2007-05-081-0/+60
* Make tests typecheckSpencer Janssen2007-05-081-1/+1
* Arbitrary instance for StackSet must set random focus on each workspaceDon Stewart2007-05-081-7/+33
* make quickcheck tests friendlier to read.David Roundy2007-05-051-1/+6
* make Properties.hs exit with failure on test failureJason Creighton2007-05-051-7/+8
* added mirrorLayout to mirror arbitrary layoutsJason Creighton2007-05-041-8/+2
* -Wall policeDon Stewart2007-05-031-0/+2
* Fix tests after StackSet changesSpencer Janssen2007-05-021-2/+3
* First steps to adding floating layerSpencer Janssen2007-05-021-1/+1
* check we never generate invalid stack setsDon Stewart2007-04-301-1/+18
* 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