utf ignores second and further arguments to #pragma repy
choksi81 opened this issue · comments
choksi81 commented
r6986 removed blanket dylink
support for unit tests, claiming some tests would break otherwise. Unfortunately, it also removed a perfectly valid statement that allowed for the inclusion of more parameters in the #pragma repy
directive than only a restrictions file.
Additional parameters were possible before, and the comment to r6986 only extends to the dylink
line added in r6926, so I conclude this removal was done in error. I'm adding the line back in.