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