kframework/c-semantics — pull request #23 by dwightguth (2014-06-26 20:28:04+00:00)
Title: add simple ktest for cil

@andreistefanescu please review