Commit message (Collapse) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | SI-9398 Treat case classes as one-element ADTs for analysis | Jason Zaugg | 2016-01-29 | 1 | -1/+1 |
| | | | | | | | | Currently, exhaustivity analysis only runs for scrutinees with a sealed type. This commit treats any case class as a one-element, sealed type to enable additional analysis, such as in the new test case. | ||||
* | Renamed tests named bugXXX to tXXX, no review. | Paul Phillips | 2011-08-24 | 1 | -0/+9 |