kframework/k — pull request #411 by daejunpark (2014-05-05 08:53:01+00:00)
Title: Update to-be-processed.txt: writing ktest's automatic output generation

By the request of Issue #391.