aboutsummaryrefslogtreecommitdiffstats
path: root/tests/Properties.hs (unfollow)
Commit message (Expand)AuthorFilesLines
2008-09-11add W.shiftMaster, fix float/tile-reordering bugDevin Mullins1-0/+17
2008-05-12add currentTag convenience functionDevin Mullins1-0/+4
2008-03-23more testsDon Stewart1-1/+13
2008-03-23some tests for the size increment handling in Operations.hsDon Stewart1-0/+18
2008-03-22more properties for splitting horizontally and verticallyDon Stewart1-0/+46
2008-03-22test message handling of Full layoutDon Stewart1-2/+10
2008-03-22QuickCheck properties to fully specify the Tall layout, and its messagesDon Stewart1-8/+71
2008-03-22add QuickCheck property for Full: it produces one window, it is fullscreen, a...Don Stewart1-1/+14
2008-03-22QC for pureLayout. confirm pureLayout . Tall produces no overlapsDon Stewart1-0/+13
2008-03-22reenable quickcheck properties for layouts (no overlap, fullscreen)Don Stewart1-5/+3
2008-03-10add property for ensureTags behaviour on hidden workspacesDon Stewart1-0/+18
2008-03-07more general properties for view, greedyViewDon Stewart1-2/+2
2008-03-07bit more code coverageDon Stewart1-0/+5
2008-02-27more tests. slightly better test coverageDon Stewart1-5/+7
2008-02-27test geometry settingDon Stewart1-0/+7
2008-02-25incorrect invariant test for greedyViewDon Stewart1-1/+9
2008-01-19Roll testing into the main executable, use Cabal to build the testsSpencer Janssen1-3/+3
2007-11-01HierarchifySpencer Janssen1-2/+2
2007-11-01This is a massive update, here's what has changed:Spencer Janssen1-1/+0
2007-10-22Replace 'findIndex' with 'findTag', which more accurately describes what the ...Brent Yorgey1-5/+5
2007-10-15Whitespace fixes for Properties.hsSpencer Janssen1-11/+11
2007-10-06add mapWorkspace testsDevin Mullins1-0/+8
2007-10-06comment out type error'd propertyDon Stewart1-0/+2
2007-10-06add floating propertyDon Stewart1-0/+6
2007-10-05Add mapLayoutSpencer Janssen1-0/+7
2007-10-04extract Properties module for re-use by contrib testsDevin Mullins1-0/+1
2007-10-01Add StackSet.allWindowsSpencer Janssen1-0/+3
2007-09-30deeper test for differentiate. back to 100% coverageDon Stewart1-1/+1
2007-09-30properties for tag renamingDon Stewart1-0/+21
2007-09-30test lookupWorkspace more deeplyDon Stewart1-0/+10
2007-09-29100% coverage of alternative branchesDon Stewart1-2/+9
2007-09-29add some more properties for failure casesDon Stewart1-0/+29
2007-09-20add (unused) Layout to StackSet.David Roundy1-14/+16
2007-09-28add prop for 'differentiate'Don Stewart1-0/+5
2007-09-28new QC properties: floating a window is reversible, screens includes current ...Don Stewart1-0/+18
2007-09-27Add 3 QC properties for focusMaster: local, idempotent, preserves invariantDon Stewart1-2/+19
2007-09-10Fix float behaviour, add shiftWin.Karsten Schoelzel1-0/+23
2007-08-15Add greedyView, make it the default action for mod-werSpencer Janssen1-0/+36
2007-07-28QuickCheck filter preserves orderKarsten Schoelzel1-0/+12
2007-06-29Move screen details into StackSetSpencer Janssen1-26/+31
2007-06-26add 2 properties to state where focus goes on delete of focused windowDon Stewart1-1/+24
2007-06-14make workspace tag not need to be a Num.David Roundy1-42/+29
2007-06-12make focus, up and down complete functions.David Roundy1-13/+9
2007-06-11Add StackSet.filterSpencer Janssen1-1/+1
2007-05-26HEADS UP: change key binding for swapLeft/Right and IncMasterDon Stewart1-46/+46
2007-05-25Add a test that the size field of StackSet is correct to QuickCheck invariant.glasser1-0/+3
2007-05-25Quickcheck property to check that delete / focus behaviourRob1-0/+4
2007-05-25Fix bug in noDuplicate invariantRob1-3/+3
2007-05-22add swapLeft and swapRightbobstopper1-23/+46
2007-05-21Move xinerama current/visible/hidden workspace logic into StackSet directly.Don Stewart1-70/+53