Lines Matching refs:killed
469 int killed, sources, dests;
471 killed = sources = dests = 0;
522 killed += psnk.psnk_killed;
528 killed += psnk.psnk_killed;
535 fprintf(stderr, "killed %d src nodes from %d sources and %d "
536 "destinations\n", killed, sources, dests);
545 int killed, sources, dests;
547 killed = sources = dests = 0;
603 killed += psk.psk_killed;
609 killed += psk.psk_killed;
616 fprintf(stderr, "killed %d states from %d sources and %d "
617 "destinations\n", killed, sources, dests);
644 fprintf(stderr, "killed %d states\n", psk.psk_killed);
677 fprintf(stderr, "killed %d states\n", psk.psk_killed);
736 fprintf(stderr, "killed %d states\n", psk.psk_killed);