Lines Matching defs:killed
538 int killed, sources, dests;
541 killed = sources = dests = 0;
617 killed += psnk.psnk_killed;
623 killed += psnk.psnk_killed;
630 fprintf(stderr, "killed %d src nodes from %d sources and %d "
631 "destinations\n", killed, sources, dests);
641 int killed, sources, dests;
644 killed = sources = dests = 0;
723 killed += psk.psk_killed;
729 killed += psk.psk_killed;
736 fprintf(stderr, "killed %d states from %d sources and %d "
737 "destinations\n", killed, sources, dests);
763 fprintf(stderr, "killed %d states\n", psk.psk_killed);
798 fprintf(stderr, "killed %d states\n", psk.psk_killed);