kframework/k — pull request #509 by radumereuta (2014-05-28 22:40:42+00:00)
Title: Trying to improve the amount of PDFs that are generated in ktest.

Don't review yet, I'm trying to see if the tests pass, or if the right amount of PDFs are skipped.