kframework/k — pull request #674 by dwightguth (2014-06-26 15:45:40+00:00)
Title: Krun options

**do not review yet**