summaryrefslogtreecommitdiff
path: root/test/files/neg/unchecked-refinement.check
Commit message (Expand)AuthorAgeFilesLines
* Move reporting logic into Reporting traitAdriaan Moors2014-07-041-3/+3
* Unclutter Reporter. Move truncation to ReplReporter.Adriaan Moors2014-07-041-1/+2
* Merge branch '2.10.x' into 210-mergePaul Phillips2012-09-281-5/+7
* Added logic and tests for unchecked refinements.Paul Phillips2012-09-271-0/+13