aboutsummaryrefslogtreecommitdiffhomepage
path: root/test-suite/bugs/closed/shouldsucceed/2615.v
Commit message (Expand)AuthorAge
* New strategy to infer return predicate of match construct whenGravatar herbelin2011-10-25
* Added test for bug #2615Gravatar herbelin2011-10-11
generated by cgit v1.2.3 (git 2.39.1) at 2024-07-08 22:16:55 +0000