kframework/k — pull request #532 by daejunpark (2014-05-31 22:44:00+00:00)
Title: KTEST: add it to manual how to skip steps

By the request of @grosu in the issue #504.