SeattleTestbed / utf

Unit Test Framework for SeattleTestbed
MIT License
1 stars 9 forks source link

utf ignores second and further arguments to #pragma repy #46

Closed choksi81 closed 10 years ago

choksi81 commented 10 years ago

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.

choksi81 commented 10 years ago

Author: albert Fixed in r7145.

choksi81 commented 10 years ago

Author: albert And behold, this makes three dylink-related unit tests pass that wouldn't before:

ut_seattlelib_dylinkdispatch.repy
ut_seattlelib_dylinkoverwritesymbols.repy
ut_seattlelib_dylinksimple.repy