aboutsummaryrefslogtreecommitdiffstats
path: root/tests/Properties.hs (unfollow)
Commit message (Collapse)AuthorFilesLines
2014-05-07make the check for overflow cleanerAdam Vogt1-3/+3
Ignore-this: c12448f9219c8a29f2707526691acfda darcs-hash:20140507024930-1499c-52860fb59794c3f370f27158b0936f845fce6ded.gz
2014-05-03make cabal test show a FAIL when at least one test failsAdam Vogt1-2/+10
Ignore-this: b603ea6350e50cb9197f3a22fac32eae darcs-hash:20140503054629-1499c-6af82516b153555d2dfad056c7114447b4d8f3cb.gz
2014-05-03add some more forgotten propertiesAdam Vogt1-2/+6
Ignore-this: 8033fd85634a41dd6169cf6fb1af72f9 darcs-hash:20140503034144-1499c-b07f9a17a6a62f7ec4b9e064b9999e3f82be10b2.gz
2014-05-03run more tests (and add a couple)Adam Vogt1-0/+35
Ignore-this: 7b76bd48a7c7d6998505d0503b9d58a1 darcs-hash:20140503021103-1499c-c4f74fe49e61fced376890057daf51609bf6b24b.gz
2014-05-02add forgotten tests backAdam Vogt1-0/+7
Ignore-this: 53707686cd4428f782eee4aabbaf177b darcs-hash:20140502192858-1499c-db5800cb15496c081546b47f20ef8acd9e0d3ace.gz
2014-05-02update testsuite (mostly due Jesper Reenberg)Adam Vogt1-1182/+138
Ignore-this: a5e926aa4e397e70d56e3c9db7108d5b * use quickcheck2 * run them using cabal's test-suite field * split up Properties into separate files darcs-hash:20140502180146-1499c-dc8c09c3ec76a42a0e146925adce960435dc81db.gz
2010-01-18Correct warnings with ghc-6.12Adam Vogt1-3/+3
Ignore-this: a48ed095b72aedec9eeb88781ace66dc Changes include: - compatibility with base-4 or 3 (base-2 untested) by using extensible-exceptions. This adds an additional dependency for users of ghc<6.10) - list all dependencies again when -ftesting (change in Cabal-1.8.0.2) - remove unnecessary imports - suppress -fwarn-unused-do-bind, with appropriate Cabal-1.8 workaround, described here: http://www.haskell.org/pipermail/xmonad/2010-January/009554.html darcs-hash:20100118181532-1499c-5c496678ef76f2f50b43b0fc4582cfef7c237654.gz
2008-09-11add W.shiftMaster, fix float/tile-reordering bugDevin Mullins1-0/+17
darcs-hash:20080911053909-78224-d050fdbedac4eb39a96f30ec0679a9b67d274091.gz
2008-05-12add currentTag convenience functionDevin Mullins1-0/+4
darcs-hash:20080511224258-78224-93d0cc4af977965e2e27e96efb67a6f362ebbbc1.gz
2008-03-23more testsDon Stewart1-1/+13
darcs-hash:20080323003436-cba2c-f896cff759d6413571b6c32f2a78f64e6399feea.gz
2008-03-23some tests for the size increment handling in Operations.hsDon Stewart1-0/+18
darcs-hash:20080322234952-cba2c-5bc18928813ea1674988a6857a15eedde696bf7d.gz
2008-03-22more properties for splitting horizontally and verticallyDon Stewart1-0/+46
darcs-hash:20080322201835-cba2c-df24122dea6b44f14c6e20ce94a79708d3a8e777.gz
2008-03-22test message handling of Full layoutDon Stewart1-2/+10
darcs-hash:20080322192728-cba2c-661520de0c39367c99077e9487e0ff1054c4f024.gz
2008-03-22QuickCheck properties to fully specify the Tall layout, and its messagesDon Stewart1-8/+71
darcs-hash:20080322041801-cba2c-7b768f19071ebe953f51577d3111d53b6afb3bb4.gz
2008-03-22add QuickCheck property for Full: it produces one window, it is fullscreen, ↵Don Stewart1-1/+14
and it is the current window darcs-hash:20080322002026-cba2c-3642c7cb7aab09cd86ab0e7c7ac43840f0c7f1a6.gz
2008-03-22QC for pureLayout. confirm pureLayout . Tall produces no overlapsDon Stewart1-0/+13
darcs-hash:20080322001229-cba2c-b9d9ced9a89cde9f5399f25355b6d43514a5bdc0.gz
2008-03-22reenable quickcheck properties for layouts (no overlap, fullscreen)Don Stewart1-5/+3
darcs-hash:20080321234015-cba2c-56ead600613e43978a996f82991d6e5a6f4ca962.gz
2008-03-10add property for ensureTags behaviour on hidden workspacesDon Stewart1-0/+18
darcs-hash:20080310182557-cba2c-9e539e452dbcb111fc47098dd762811c8334d4d8.gz
2008-03-07more general properties for view, greedyViewDon Stewart1-2/+2
darcs-hash:20080307181657-cba2c-cbce57144f581da1aa34ef78dcadba41f7207a5d.gz
2008-03-07bit more code coverageDon Stewart1-0/+5
darcs-hash:20080307180905-cba2c-723aab5ae3ca821207bdc70dbd05a8da8d1822ea.gz
2008-02-27more tests. slightly better test coverageDon Stewart1-5/+7
darcs-hash:20080227180113-cba2c-74897f1ccbdc69956bd99c9a90aa3b11c469a4fe.gz
2008-02-27test geometry settingDon Stewart1-0/+7
darcs-hash:20080227175554-cba2c-e4615f2c9c25cea28ab0abbdb2ce9291247069c4.gz
2008-02-25incorrect invariant test for greedyViewDon Stewart1-1/+9
darcs-hash:20080225180350-cba2c-95b57af5f105496a17148c49578ae83d1e0f0a35.gz
2008-01-19Roll testing into the main executable, use Cabal to build the testsSpencer Janssen1-3/+3
darcs-hash:20080119091215-a5988-8f5f48e8c40a0f39abdf6ffe4d4dc938ab8c7ef1.gz
2007-11-01HierarchifySpencer Janssen1-2/+2
darcs-hash:20071101180846-a5988-25ba1c9ce37a35c1533e4075cc9494c6f7dd5ade.gz
2007-11-01This is a massive update, here's what has changed:Spencer Janssen1-1/+0
* Read is no longer a superclass of Layout * All of the core layouts have moved to the new Layouts.hs module * Select has been replaced by the new statically typed Choose combinator, which is heavily based on David Roundy's NewSelect proposal for XMonadContrib. Consequently: - Rather than a list of choosable layouts, we use the ||| combinator to combine several layouts into a single switchable layout - We've lost the capability to JumpToLayout and PrevLayout. Both can be added with some effort darcs-hash:20071101064318-a5988-c07c434c7a1108078d6123a4b36040ed6597772b.gz
2007-10-22Replace 'findIndex' with 'findTag', which more accurately describes what the ↵Brent Yorgey1-5/+5
function does. I realize this is a big change, but the name 'findIndex' was confusing for me, since I expected it to return some sort of integer. What it actually does, of course, is return a workspace tag, which might be more general than an index. Of course, this change breaks several contrib modules; I'll submit a patch to make the change there as well. darcs-hash:20071022204105-bd4d7-9f5d5b8ce00c61b4830fde329f528b2d79af2fa6.gz
2007-10-15Whitespace fixes for Properties.hsSpencer Janssen1-11/+11
darcs-hash:20071015022757-a5988-8e5172ea769e1c99abf1cc7f7630f3aa9dd68856.gz
2007-10-06add mapWorkspace testsDevin Mullins1-0/+8
(just completely duplicated the two mapLayout tests :) darcs-hash:20071006073129-78224-d1303612fd8e2f9ede740831b031a88914ee833a.gz
2007-10-06comment out type error'd propertyDon Stewart1-0/+2
darcs-hash:20071006102225-cba2c-50bba511cd0c7de03f86b98547ca7114b1592375.gz
2007-10-06add floating propertyDon Stewart1-0/+6
darcs-hash:20071006100654-cba2c-bd3552becda4ce11803c40285685230c41bcce66.gz
2007-10-05Add mapLayoutSpencer Janssen1-0/+7
darcs-hash:20071004234537-a5988-504015d5c938a232d1355c0f3c602cf366c20aea.gz
2007-10-04extract Properties module for re-use by contrib testsDevin Mullins1-0/+1
I want to reuse Properties' Arbitrary instance (as well as the T and NonNegative types) in an upcoming set of SwapWorkspaces QC props. `module Main where import Main` doesn't work too well. :) If this patch is accepted, the darcs 'test' pref should be modified to "-itests tests/Main.hs". darcs-hash:20071004075852-78224-6f84d89566894e33266a7c3b4d0cde5be7ec2918.gz
2007-10-01Add StackSet.allWindowsSpencer Janssen1-0/+3
darcs-hash:20071001163959-a5988-243d115545b70eafcaaedd9440ddf525ea15aa32.gz
2007-09-30deeper test for differentiate. back to 100% coverageDon Stewart1-1/+1
darcs-hash:20070930075018-cba2c-48c2b170e452ef6db4957c1088ef9ab4d42a7505.gz
2007-09-30properties for tag renamingDon Stewart1-0/+21
darcs-hash:20070930074641-cba2c-f0ba43bf6d62f372dfee8dfdadf4fe66677e0510.gz
2007-09-30test lookupWorkspace more deeplyDon Stewart1-0/+10
darcs-hash:20070930073822-cba2c-7b661e5bdbdcf99b64f785897af2ecc4278471ea.gz
2007-09-29100% coverage of alternative branchesDon Stewart1-2/+9
darcs-hash:20070928235745-cba2c-c8d9bd87100da803d11d00300bfd6486bbc29911.gz
2007-09-29add some more properties for failure casesDon Stewart1-0/+29
darcs-hash:20070928233230-cba2c-291d995afedb1c3d1cf1ac4f8e69170b24029551.gz
2007-09-20add (unused) Layout to StackSet.David Roundy1-14/+16
darcs-hash:20070920212843-72aca-4c73a99b58ebd9d1d179c5e627cbf4823493f4ab.gz
2007-09-28add prop for 'differentiate'Don Stewart1-0/+5
darcs-hash:20070927231928-cba2c-84668ba6dab69541e063eaabf57724c13a28a916.gz
2007-09-28new QC properties: floating a window is reversible, screens includes current ↵Don Stewart1-0/+18
screen darcs-hash:20070927220431-cba2c-1f2e67435aec367ee45d0bcbf1e9178f83ff8a71.gz
2007-09-27Add 3 QC properties for focusMaster: local, idempotent, preserves invariantDon Stewart1-2/+19
darcs-hash:20070927214401-cba2c-4d5e8646bcc9d21b844f56e7cea13b9af26de7c1.gz
2007-09-10Fix float behaviour, add shiftWin.Karsten Schoelzel1-0/+23
First, if float is called with window which is on a hidden workspace, then the window will remain on that hidden workspace. Now the focus should change more as expected: float w darcs-hash:20070910090329-eb3a1-ae150bf783b36fb4811e92d81b4917066c8733b7.gz
2007-08-15Add greedyView, make it the default action for mod-werSpencer Janssen1-0/+36
darcs-hash:20070815025504-a5988-00ff316a056c48cc07c5e90925702d2ac09ae666.gz
2007-07-28QuickCheck filter preserves orderKarsten Schoelzel1-0/+12
darcs-hash:20070728184534-eb3a1-68bbf44ab26db69a4aa75fb97cb516ebf6c963bb.gz
2007-06-29Move screen details into StackSetSpencer Janssen1-26/+31
darcs-hash:20070629213917-a5988-3ad31d8f028efcec41c9c4805c01c2d42c0009b2.gz
2007-06-26add 2 properties to state where focus goes on delete of focused windowDon Stewart1-1/+24
darcs-hash:20070626040907-9c5c1-397ec2ac01fda2e3f307605bf0f765bbc5724350.gz
2007-06-14make workspace tag not need to be a Num.David Roundy1-42/+29
This change also removes the barely used 'size' field, and replaces it with a tagMember predicate. The idea is to move towards the ability to make the workspace tag be a String, which by default might be "1".."9", but could also be customized to be something meaningful to the user. darcs-hash:20070614140709-72aca-dbc1ce07bf964e4cff69deef95b453a0051ef782.gz
2007-06-12make focus, up and down complete functions.David Roundy1-13/+9
This is a rerun of my change to make (Stack a) never be empty. Gives us more type-safety. darcs-hash:20070612150555-72aca-5f6e43aa33979c71679a73b44d93f9e2b8f9d2a8.gz
generated by cgit v1.2.3 (git 2.25.1) at 2024-07-03 16:15:58 +0000