kframework/k — pull request #1167 by dwightguth (2014-11-07 23:53:46+00:00)
Title: merge regression tests into single definition for faster execution

@yilongli please review