Nice! - Yang On 11/15/2015 11:37 PM, John Regehr wrote:
Great, C-Reduce now reduces this largish pile of non-preprocessed C code (across ~180 files) without any pass failures! I think that is a first. John
John