aboutsummaryrefslogtreecommitdiffhomepage
path: root/test-suite/bugs/closed/931.v
Commit message (Expand)AuthorAge
* Fix the refine related test-suite files to account for the new refine.Gravatar Arnaud Spiwack2013-12-06
* Get rid of "shouldsucceed" subdirectory by moving tests to parent directory.Gravatar xclerc2013-09-20