Lines Matching defs:killed
442 int killed, sources, dests;
445 killed = sources = dests = 0;
521 killed += psnk.psnk_af;
529 killed += psnk.psnk_af;
538 fprintf(stderr, "killed %d src nodes from %d sources and %d "
539 "destinations\n", killed, sources, dests);
549 int killed, sources, dests;
552 killed = sources = dests = 0;
631 killed += psk.psk_af;
639 killed += psk.psk_af;
648 fprintf(stderr, "killed %d states from %d sources and %d "
649 "destinations\n", killed, sources, dests);
Indexes created Thu Oct 02 01:09:59 GMT 2025