Commit message (Collapse) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | SI-6895 Test cases to explain the limitations in tcpoly inference | Jason Zaugg | 2015-06-23 | 1 | -0/+26 |
I've determined that the failure in this bug report boils down to SI-2712. Submitting my working as neg tests for posterity. The type error disabmiguator develops a serious stutter with this example. I'll fix that in the following commit. |