| Age | Commit message (Collapse) | Author | Lines | |
|---|---|---|---|---|
| 2015-08-12 | Update test error messages based on changes to wfcheck; also, break | Niko Matsakis | -6/+0 | |
| apart the tests that tested many things at once. | ||||
| 2015-08-12 | New tests --- check that wf relation is being checked in various positions | Niko Matsakis | -0/+32 | |
