kframework/k — pull request #301 by osa1 (2014-03-22 18:20:09+00:00)
Title: KTEST: Support 'posixOnly' attributes in config.xml

This is modified version of @daejunpark 's patch. I made changes that we discussed at original pull request.

@dwightguth please tell me if I'm forgetting anything.