Hi Neil, Fixed. Thanks for reporting the issue! - Yang On 11/10/19 3:43 PM, Neil Nelson wrote:
pass_clang::rename-class has encountered a bug:crashed: "/usr/lib/x86_64-linux-gnu/clang_delta" --transformation=rename-class --counter=1 /tmp/creduce-5lOsQe/RegionInfo.cpp