14 Commits

Author	SHA1	Message	Date
Adam Vogt	334344b804	Extend script for generating the code which runs tests ... Now the number of runs each can be set, and the failures and successes are summarized in the same way as the core Properties.hs. There is some duplicated code which could be avoided by modifying Properties.hs.	2011-06-09 04:07:22 +00:00
Adam Vogt	dea9cdea5e	Move tests from ManageDocks to tests/ ... The change to use a newtype for RectC is kind of ugly, but this way instances are less likely to conflict in the tests.	2011-06-09 04:02:20 +00:00
Adam Vogt	36bcb743d6	Rearrange tests. See test/genMain.hs for instructions.	2010-04-19 01:49:46 +00:00
gwern0	ddd9674b14	update module imports	2010-04-14 21:19:47 +00:00
Adam Vogt	9372aac28e	tests/test_XPrompt can build now.	2010-04-14 20:46:12 +00:00
Max Rabkin	d330dcae24	added prop_select_two_consec to test_Selective.hs	2009-10-01 15:58:53 +00:00
Max Rabkin	2b31698e15	Move limitSelect into L.LimitWindows	2009-10-14 20:22:13 +00:00
Max Rabkin	cd43a200bf	Test that update preserves invariants of Selection	2009-09-29 16:31:39 +00:00
Max Rabkin	f0e835ebe2	move updateSel from test_Selective into Selective	2009-09-29 16:04:20 +00:00
Max Rabkin	831168d701	Add "Selective" layout modifier	2009-09-29 16:02:07 +00:00
Spencer Janssen	cd1884466a	Hierarchify	2007-11-01 20:10:59 +00:00
"Valery V. Vorotyntsev"	ab94a40160	test_XPrompt.hs: there is no ShellPrompt.rmPath	2007-10-19 20:58:30 +00:00
Devin Mullins	b9abecd4f2	add QC tests for SwapWorkspaces ... run with -i..:../tests	2007-10-04 08:15:34 +00:00
Andrea Rossato	6febbc8131	added a tests directory with quickcheck tests for XPrompt and ShellPrompt	2007-08-17 15:56:34 +00:00