summaryrefslogtreecommitdiffstats
path: root/tests
AgeCommit message (Expand)Author
2007-10-01Add StackSet.allWindowsSpencer Janssen
2007-09-30deeper test for differentiate. back to 100% coverageDon Stewart
2007-09-30properties for tag renamingDon Stewart
2007-09-30test lookupWorkspace more deeplyDon Stewart
2007-09-29100% coverage of alternative branchesDon Stewart
2007-09-29add some more properties for failure casesDon Stewart
2007-09-20add (unused) Layout to StackSet.David Roundy
2007-09-28add prop for 'differentiate'Don Stewart
2007-09-28new QC properties: floating a window is reversible, screens includes current ...Don Stewart
2007-09-27Add 3 QC properties for focusMaster: local, idempotent, preserves invariantDon Stewart
2007-09-10Fix float behaviour, add shiftWin.Karsten Schoelzel
2007-08-15Add greedyView, make it the default action for mod-werSpencer Janssen
2007-07-28QuickCheck filter preserves orderKarsten Schoelzel
2007-06-29Move screen details into StackSetSpencer Janssen
2007-06-26add 2 properties to state where focus goes on delete of focused windowDon Stewart
2007-06-14make workspace tag not need to be a Num.David Roundy
2007-06-12make focus, up and down complete functions.David Roundy
2007-06-11Add StackSet.filterSpencer Janssen
2007-05-31remove LOC cap (but still print count after tests)Jason Creighton
2007-05-26HEADS UP: change key binding for swapLeft/Right and IncMasterDon Stewart
2007-05-24Delete the Catch wrapper, no longer required by the latest version of CatchNeil Mitchell
2007-05-25Add a test that the size field of StackSet is correct to QuickCheck invariant.glasser
2007-05-25Quickcheck property to check that delete / focus behaviourRob
2007-05-25Fix bug in noDuplicate invariantRob
2007-05-22add swapLeft and swapRightbobstopper
2007-05-22Update the Catch checking to the new interface for StackSetNeil Mitchell
2007-05-21Move xinerama current/visible/hidden workspace logic into StackSet directly.Don Stewart
2007-05-20HEADS UP: Rewrite StackSet as a ZipperDon Stewart
2007-05-16variable number of windows in master areaJason Creighton
2007-05-15beautify tileDavid Roundy
2007-05-10keep focus stack.David Roundy
2007-05-10bump LOC limit to 550Jason Creighton
2007-05-08Remove broken prop_promoterotate, replace it with prop_promote_raise_idSpencer Janssen
2007-05-08Disable shift_reversible until focus issues are decided.Spencer Janssen
2007-05-08Disable delete.push until focus issues are decidedSpencer Janssen
2007-05-08Add the initial Catch testing framework for StackSetNeil Mitchell http://www.cs.york.ac.uk/~ndm/
2007-05-08Make tests typecheckSpencer Janssen
2007-05-08Arbitrary instance for StackSet must set random focus on each workspaceDon Stewart
2007-05-05make quickcheck tests friendlier to read.David Roundy
2007-05-05make Properties.hs exit with failure on test failureJason Creighton
2007-05-04added mirrorLayout to mirror arbitrary layoutsJason Creighton
2007-05-03-Wall policeDon Stewart
2007-05-02Fix tests after StackSet changesSpencer Janssen
2007-05-02First steps to adding floating layerSpencer Janssen
2007-04-30check we never generate invalid stack setsDon Stewart
2007-04-30view n . shift n . view i . shift i) x == x --> shift + view is invertibleDon Stewart
2007-04-30add rotate all and view idempotency testsDon Stewart
2007-04-30push is idempotentDon Stewart
2007-04-30add two properties relating to empty window managersDon Stewart
2007-04-30new QC property: opening a window only affects the current screenDon Stewart