fish: '/home/SMC/Deagle/src/cbmc/deagl…' terminated by signal SIGABRT (Abort)

[bupt01]

When I test the following program,：
` unsigned char *rstr = (unsigned char *) strdup("pthread_t");
unsigned char *wp, *rp;
rp = wp = rstr;

while (*rp){
if (*rp != '\')
*wp++ = *rp++;
else{break;
}}`
it reports an error: 'fish: '/home/SMC/Deagle/src/cbmc/deagl…' terminated by signal SIGABRT (Abort)