aboutsummaryrefslogtreecommitdiffstats
path: root/tests (unfollow)
Commit message (Expand)AuthorFilesLines
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-31remove LOC cap (but still print count after tests)Jason Creighton1-1/+0
2007-05-26HEADS UP: change key binding for swapLeft/Right and IncMasterDon Stewart1-46/+46
2007-05-24Delete the Catch wrapper, no longer required by the latest version of CatchNeil Mitchell1-72/+0
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-22Update the Catch checking to the new interface for StackSetNeil Mitchell1-3/+15
2007-05-21Move xinerama current/visible/hidden workspace logic into StackSet directly.Don Stewart1-70/+53
2007-05-20HEADS UP: Rewrite StackSet as a ZipperDon Stewart1-276/+537
2007-05-16variable number of windows in master areaJason Creighton1-2/+2
2007-05-15beautify tileDavid Roundy1-3/+3
2007-05-10keep focus stack.David Roundy1-9/+12
2007-05-10bump LOC limit to 550Jason Creighton1-1/+1
2007-05-08Remove broken prop_promoterotate, replace it with prop_promote_raise_idSpencer Janssen1-4/+7
2007-05-08Disable shift_reversible until focus issues are decided.Spencer Janssen1-1/+5
2007-05-08Disable delete.push until focus issues are decidedSpencer Janssen1-1/+5
2007-05-08Add the initial Catch testing framework for StackSetNeil Mitchell http://www.cs.york.ac.uk/~ndm/1-0/+60
2007-05-08Make tests typecheckSpencer Janssen1-1/+1
2007-05-08Arbitrary instance for StackSet must set random focus on each workspaceDon Stewart1-7/+33
2007-05-05make quickcheck tests friendlier to read.David Roundy1-1/+6
2007-05-05make Properties.hs exit with failure on test failureJason Creighton1-7/+8
2007-05-04added mirrorLayout to mirror arbitrary layoutsJason Creighton1-8/+2
2007-05-03-Wall policeDon Stewart1-0/+2
2007-05-02Fix tests after StackSet changesSpencer Janssen1-2/+3
2007-05-02First steps to adding floating layerSpencer Janssen1-1/+1
2007-04-30check we never generate invalid stack setsDon Stewart1-1/+18
2007-04-30view n . shift n . view i . shift i) xDon Stewart1-4/+8
2007-04-30add rotate all and view idempotency testsDon Stewart1-3/+19
2007-04-30push is idempotentDon Stewart1-1/+3
2007-04-30add two properties relating to empty window managersDon Stewart1-1/+13
2007-04-30new QC property: opening a window only affects the current screenDon Stewart1-0/+8
2007-04-30a bit more precise about building non-empty stacksets for one testDon Stewart1-1/+1
2007-04-30move size into Properties.hsDon Stewart1-0/+5
2007-04-29add fromList to Properties.hsDon Stewart1-1/+20
2007-04-26Remove toListSpencer Janssen1-6/+1
2007-04-19Arbitrary Word64 for running tests on amd64Alec Berryman1-0/+8
2007-04-19add 8 new QC tests, including tests of the layout algorithmDon Stewart1-2/+125
2007-04-19Parameterise StackSet by two index types, rather than breaking abstractionDon Stewart1-3/+3
2007-04-192 more properties for promote.Don Stewart1-2/+17
2007-04-19tweak loc count to match count_lines scriptDon Stewart1-1/+2
2007-04-19Promote now swaps focused window with master windowDon Stewart1-1/+9
2007-04-18Update propaganda.Spencer Janssen1-1/+1
2007-04-18define test to ensure LOC doesn't jump above 400.David Roundy1-0/+15
2007-04-11and the tests still runDon Stewart1-5/+6