Lines Matching defs:sources
608 int killed, sources, dests;
611 killed = sources = dests = 0;
634 sources++;
700 fprintf(stderr, "killed %d src nodes from %d sources and %d "
701 "destinations\n", killed, sources, dests);
712 int killed, sources, dests;
715 killed = sources = dests = 0;
750 sources++;
816 fprintf(stderr, "killed %d states from %d sources and %d "
817 "destinations\n", killed, sources, dests);