google/souper — pull request #126 by regehr (2014-11-28 17:59:21+00:00)
Title: testcases for inference

These range from trivial to quite nontrivial. I plan to keep writing these until we have a nice little library. Right now each testcase only insists that souper can verify the (by-hand) inference. As our inference engine comes online, we'll start to ask that it infers the RHSs.

N.B: We're still unsound if there's UB on the RHS.