summaryrefslogtreecommitdiff
path: root/tests/consub.ur
Commit message (Collapse)AuthorAge
* A fancier test for the new SQL constraints subtypingGravatar Adam Chlipala2013-11-04