12 Commits

Author	SHA1	Message	Date
Michael Walker	6c4015c314	Avoid re-running tests in dejafus. Closes #12.	2015-02-26 21:57:55 +00:00
Michael Walker	9609823dd5	Add exception checking to autocheck	2015-02-17 11:22:17 +00:00
Michael Walker	998fdeb833	Update the deadlocks* predicates to handle STMDeadlock, and add exceptions* predicates	2015-02-17 05:58:25 +00:00
Michael Walker	97611ff5b5	Implement catching exceptions	2015-02-13 00:50:58 +00:00
Michael Walker	1cc5ade782	Reimplement CVar blocking in the same way as CTVar blocking	2015-02-09 23:43:18 +00:00
Michael Walker	c20db31561	Include reason for failure in Deterministic result	2015-02-06 16:04:59 +00:00
Michael Walker	4c0f131942	Better dupe elimination	2015-02-04 16:51:50 +00:00
Michael Walker	bc31ddc5e1	Remove shrinking. ... - Tweak order in which schedules are explored to look at simple, but not too simple, cases first. - Port simplicity logic from shrinking to dupe elimination.	2015-02-04 11:45:08 +00:00
Michael Walker	4f6eade3bb	Make resEq more flexible	2015-02-02 16:11:37 +00:00
Michael Walker	242b661185	Filter out duplicate failures in runTest	2015-02-01 21:55:25 +00:00
Michael Walker	00ad122b65	Refactor code and update docs to make more not-me friendly	2015-02-01 01:21:42 +00:00
Michael Walker	fbc262c361	Rename and remodularise	2015-01-31 15:50:54 +00:00