Fixed both issues. Thanks. - Yang On 2016-06-29 05:34, John Regehr wrote:
$ "/home/regehr/creduce-install/libexec/clang_delta" --transformation=template-arg-to-int --counter=1 small.cpp Segmentation fault