kframework/k — pull request #779 by yilongli (2014-08-03 02:39:28+00:00)
Title: removed obsolete test generation code

This part of the code was highly experimental and fragile. Right now, I don't have the time to maintain it whatsoever. Besides, since I have a much better understanding of the entire Java backend now, I am convinced that most of the things I did back then were simply wrong. I will redo the whole thing from scratch in the future.