kframework/k — pull request #912 by osa1 (2014-08-31 12:52:39+00:00)
Title: [ktest] improve error reporting when config file has invalid format (also fixes a bug)

See commit logs.