Great! John On 6/23/16 8:19 AM, Yang Chen wrote:
Fixed all of these four crash bugs. Thanks. - Yang On 2016-06-22 00:34, John Regehr wrote:$ "/home/regehr/creduce-install/libexec/clang_delta" --transformation=template-non-type-arg-to-int --counter=1 small.cpp Segmentation fault