aboutsummaryrefslogtreecommitdiffstats
path: root/tests (follow)
Commit message (Collapse)AuthorAgeFilesLines
* Avoid using instances removed in QuickCheck-2.7Adam Vogt2015-03-013-8/+8
| | | | | | | | Ignore-this: 4f9b3906b88ae6a94602e2b29a3eecfc see https://github.com/nick8325/quickcheck/issues/31 for details darcs-hash:20150301135049-1499c-f19e63c6780c29fbc4d2f3b32fdefd6afe4f0e2a.gz
* make the check for overflow cleanerAdam Vogt2014-05-074-14/+21
| | | | | | Ignore-this: c12448f9219c8a29f2707526691acfda darcs-hash:20140507024930-1499c-52860fb59794c3f370f27158b0936f845fce6ded.gz
* make cabal test show a FAIL when at least one test failsAdam Vogt2014-05-031-2/+10
| | | | | | Ignore-this: b603ea6350e50cb9197f3a22fac32eae darcs-hash:20140503054629-1499c-6af82516b153555d2dfad056c7114447b4d8f3cb.gz
* add some more forgotten propertiesAdam Vogt2014-05-031-2/+6
| | | | | | Ignore-this: 8033fd85634a41dd6169cf6fb1af72f9 darcs-hash:20140503034144-1499c-b07f9a17a6a62f7ec4b9e064b9999e3f82be10b2.gz
* run more tests (and add a couple)Adam Vogt2014-05-033-2/+76
| | | | | | Ignore-this: 7b76bd48a7c7d6998505d0503b9d58a1 darcs-hash:20140503021103-1499c-c4f74fe49e61fced376890057daf51609bf6b24b.gz
* add forgotten tests backAdam Vogt2014-05-021-0/+7
| | | | | | Ignore-this: 53707686cd4428f782eee4aabbaf177b darcs-hash:20140502192858-1499c-db5800cb15496c081546b47f20ef8acd9e0d3ace.gz
* updated hpcAdam Vogt2014-05-021-10/+0
| | | | | | Ignore-this: a7f72dfb7414f48c55441eda6aaa1236 darcs-hash:20140502184904-1499c-b3f8164fb4cce1e3d40feaa5f0346066d3efc7f2.gz
* update testsuite (mostly due Jesper Reenberg)Adam Vogt2014-05-0218-1182/+1219
| | | | | | | | | | 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
* loc.hs: hlintifygwern02010-02-141-2/+2
| | | | | | Ignore-this: c447928ce68d0a968b55af3539c979fa darcs-hash:20100213231537-f7719-a5c1073d4a25076f08de63521bc37f5833fc7a5b.gz
* Correct warnings with ghc-6.12Adam Vogt2010-01-181-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
* add W.shiftMaster, fix float/tile-reordering bugDevin Mullins2008-09-111-0/+17
| | | | darcs-hash:20080911053909-78224-d050fdbedac4eb39a96f30ec0679a9b67d274091.gz
* add currentTag convenience functionDevin Mullins2008-05-121-0/+4
| | | | darcs-hash:20080511224258-78224-93d0cc4af977965e2e27e96efb67a6f362ebbbc1.gz
* more testsDon Stewart2008-03-231-1/+13
| | | | darcs-hash:20080323003436-cba2c-f896cff759d6413571b6c32f2a78f64e6399feea.gz
* some tests for the size increment handling in Operations.hsDon Stewart2008-03-231-0/+18
| | | | darcs-hash:20080322234952-cba2c-5bc18928813ea1674988a6857a15eedde696bf7d.gz
* more properties for splitting horizontally and verticallyDon Stewart2008-03-221-0/+46
| | | | darcs-hash:20080322201835-cba2c-df24122dea6b44f14c6e20ce94a79708d3a8e777.gz
* test message handling of Full layoutDon Stewart2008-03-221-2/+10
| | | | darcs-hash:20080322192728-cba2c-661520de0c39367c99077e9487e0ff1054c4f024.gz
* QuickCheck properties to fully specify the Tall layout, and its messagesDon Stewart2008-03-221-8/+71
| | | | darcs-hash:20080322041801-cba2c-7b768f19071ebe953f51577d3111d53b6afb3bb4.gz
* add hpc generation scriptDon Stewart2008-03-221-0/+10
| | | | darcs-hash:20080322041640-cba2c-63c9e0a162cea3ea3eb919516c7875f2beecd29d.gz
* add QuickCheck property for Full: it produces one window, it is fullscreen, ↵Don Stewart2008-03-221-1/+14
| | | | | | and it is the current window darcs-hash:20080322002026-cba2c-3642c7cb7aab09cd86ab0e7c7ac43840f0c7f1a6.gz
* QC for pureLayout. confirm pureLayout . Tall produces no overlapsDon Stewart2008-03-221-0/+13
| | | | darcs-hash:20080322001229-cba2c-b9d9ced9a89cde9f5399f25355b6d43514a5bdc0.gz
* reenable quickcheck properties for layouts (no overlap, fullscreen)Don Stewart2008-03-221-5/+3
| | | | darcs-hash:20080321234015-cba2c-56ead600613e43978a996f82991d6e5a6f4ca962.gz
* add property for ensureTags behaviour on hidden workspacesDon Stewart2008-03-101-0/+18
| | | | darcs-hash:20080310182557-cba2c-9e539e452dbcb111fc47098dd762811c8334d4d8.gz
* more general properties for view, greedyViewDon Stewart2008-03-071-2/+2
| | | | darcs-hash:20080307181657-cba2c-cbce57144f581da1aa34ef78dcadba41f7207a5d.gz
* bit more code coverageDon Stewart2008-03-071-0/+5
| | | | darcs-hash:20080307180905-cba2c-723aab5ae3ca821207bdc70dbd05a8da8d1822ea.gz
* more tests. slightly better test coverageDon Stewart2008-02-271-5/+7
| | | | darcs-hash:20080227180113-cba2c-74897f1ccbdc69956bd99c9a90aa3b11c469a4fe.gz
* test geometry settingDon Stewart2008-02-271-0/+7
| | | | darcs-hash:20080227175554-cba2c-e4615f2c9c25cea28ab0abbdb2ce9291247069c4.gz
* incorrect invariant test for greedyViewDon Stewart2008-02-251-1/+9
| | | | darcs-hash:20080225180350-cba2c-95b57af5f105496a17148c49578ae83d1e0f0a35.gz
* Roll testing into the main executable, use Cabal to build the testsSpencer Janssen2008-01-192-11/+3
| | | | darcs-hash:20080119091215-a5988-8f5f48e8c40a0f39abdf6ffe4d4dc938ab8c7ef1.gz
* HierarchifySpencer Janssen2007-11-011-2/+2
| | | | darcs-hash:20071101180846-a5988-25ba1c9ce37a35c1533e4075cc9494c6f7dd5ade.gz
* This is a massive update, here's what has changed:Spencer Janssen2007-11-011-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
* Replace 'findIndex' with 'findTag', which more accurately describes what the ↵Brent Yorgey2007-10-221-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
* Whitespace fixes for Properties.hsSpencer Janssen2007-10-151-11/+11
| | | | darcs-hash:20071015022757-a5988-8e5172ea769e1c99abf1cc7f7630f3aa9dd68856.gz
* The empty line isntcomment.Ferenc Wagner2007-10-061-1/+0
| | | | | | There is a separate filter for that case. darcs-hash:20071006191231-e7ae2-b8b0c7acd3cdf6119ef6d40cc08f8d054838c306.gz
* add mapWorkspace testsDevin Mullins2007-10-061-0/+8
| | | | | | (just completely duplicated the two mapLayout tests :) darcs-hash:20071006073129-78224-d1303612fd8e2f9ede740831b031a88914ee833a.gz
* comment out type error'd propertyDon Stewart2007-10-061-0/+2
| | | | darcs-hash:20071006102225-cba2c-50bba511cd0c7de03f86b98547ca7114b1592375.gz
* add floating propertyDon Stewart2007-10-061-0/+6
| | | | darcs-hash:20071006100654-cba2c-bd3552becda4ce11803c40285685230c41bcce66.gz
* Add mapLayoutSpencer Janssen2007-10-051-0/+7
| | | | darcs-hash:20071004234537-a5988-504015d5c938a232d1355c0f3c602cf366c20aea.gz
* extract Properties module for re-use by contrib testsDevin Mullins2007-10-042-0/+9
| | | | | | | | | | | 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
* Add StackSet.allWindowsSpencer Janssen2007-10-011-0/+3
| | | | darcs-hash:20071001163959-a5988-243d115545b70eafcaaedd9440ddf525ea15aa32.gz
* deeper test for differentiate. back to 100% coverageDon Stewart2007-09-301-1/+1
| | | | darcs-hash:20070930075018-cba2c-48c2b170e452ef6db4957c1088ef9ab4d42a7505.gz
* properties for tag renamingDon Stewart2007-09-301-0/+21
| | | | darcs-hash:20070930074641-cba2c-f0ba43bf6d62f372dfee8dfdadf4fe66677e0510.gz
* test lookupWorkspace more deeplyDon Stewart2007-09-301-0/+10
| | | | darcs-hash:20070930073822-cba2c-7b661e5bdbdcf99b64f785897af2ecc4278471ea.gz
* 100% coverage of alternative branchesDon Stewart2007-09-291-2/+9
| | | | darcs-hash:20070928235745-cba2c-c8d9bd87100da803d11d00300bfd6486bbc29911.gz
* add some more properties for failure casesDon Stewart2007-09-291-0/+29
| | | | darcs-hash:20070928233230-cba2c-291d995afedb1c3d1cf1ac4f8e69170b24029551.gz
* add (unused) Layout to StackSet.David Roundy2007-09-201-14/+16
| | | | darcs-hash:20070920212843-72aca-4c73a99b58ebd9d1d179c5e627cbf4823493f4ab.gz
* add prop for 'differentiate'Don Stewart2007-09-281-0/+5
| | | | darcs-hash:20070927231928-cba2c-84668ba6dab69541e063eaabf57724c13a28a916.gz
* new QC properties: floating a window is reversible, screens includes current ↵Don Stewart2007-09-281-0/+18
| | | | | | screen darcs-hash:20070927220431-cba2c-1f2e67435aec367ee45d0bcbf1e9178f83ff8a71.gz
* Add 3 QC properties for focusMaster: local, idempotent, preserves invariantDon Stewart2007-09-271-2/+19
| | | | darcs-hash:20070927214401-cba2c-4d5e8646bcc9d21b844f56e7cea13b9af26de7c1.gz
* Fix float behaviour, add shiftWin.Karsten Schoelzel2007-09-101-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
* Add greedyView, make it the default action for mod-werSpencer Janssen2007-08-151-0/+36
| | | | darcs-hash:20070815025504-a5988-00ff316a056c48cc07c5e90925702d2ac09ae666.gz
generated by cgit v1.2.3 (git 2.25.1) at 2024-11-21 21:26:14 +0000