Lines Matching refs:printf
49 printf("Starting %s with pid %d\n", in runnable()
140 printf("proc %d = %s\n", in announce()
153 printf(" 0: proc - (%s) ", w); in announce()
156 printf("creates proc %2d (%s)", in announce()
160 printf(" priority %d", run->priority); in announce()
161 printf("\n"); in announce()
178 { printf("spin: too many processes (%d max)\n", MAXP); in enable()
208 { printf("spin: saw %d parameters, expected %d\n", i, cnt); in check_param_count()
225 printf("spin: couldn't find claim %d (ignored)\n", n); in start_claim()
228 printf("\t%d = %s\n", p->tn, p->n->name); in start_claim()
267 { printf("spin: remote ref to proctype %s, ", n); in f_pid()
268 printf("has more than one match: %d and %d\n", in f_pid()
284 printf("-------------\nfinal state:\n-------------\n"); in wrapup()
290 printf("#processes: %d\n", nproc-nstop - Have_claim + Skip_claim); in wrapup()
300 printf("%d process%s created\n", in wrapup()
375 try_again: printf("Select a statement\n"); in pickproc()
399 printf("\tchoice %d: ", k++); in pickproc()
402 printf(" unexecutable,"); in pickproc()
403 printf(" ["); in pickproc()
405 if (X->pc->esc) printf(" + Escape"); in pickproc()
406 printf("]\n"); in pickproc()
431 printf("\tchoice %d: ", k++); in pickproc()
434 printf(" unexecutable,"); in pickproc()
435 printf(" ["); in pickproc()
437 printf("]\n"); in pickproc()
442 printf("\tchoice %d: ", nr_else); in pickproc()
444 printf(" [else]\n"); in pickproc()
447 printf("\tchoice %d: ", nr_else); in pickproc()
449 printf(" unexecutable, [else]\n"); in pickproc()
459 printf("Make Selection %d\n\n", k-1); in pickproc()
462 { printf("no executable choices\n"); in pickproc()
465 printf("Select [1-%d]: ", k-1); in pickproc()
468 { printf("%d\n", only_choice); in pickproc()
474 { printf("\tno input\n"); in pickproc()
485 { printf("\tchoice is outside range\n"); in pickproc()
507 { printf(" the model contains %d never claims:", nclaims); in multi_claims()
510 { printf("%s%s", q?", ":" ", p->n->name); in multi_claims()
513 printf("\n"); in multi_claims()
514 printf(" only one claim is used in a verification run\n"); in multi_claims()
515 printf(" choose which one with ./pan -N name (defaults to -N %s)\n", in multi_claims()
537 { printf("spin: error, cannot use 'enabled()' in "); in sched()
538 printf("models with synchronous channels.\n"); in sched()
555 printf("warning: never claim not used in random simulation\n"); in sched()
557 printf("warning: trace assertion not used in random simulation\n"); in sched()
569 { printf("-------------\n"); in sched()
570 printf("depth-limit (-u%d steps) reached\n", cutoff); in sched()
576 printf("spin: type return to proceed\n"); in sched()
591 printf("\t<<Not Enabled>>\n"); in sched()
601 printf(" ["); in sched()
604 printf("]\n"); in sched()
611 printf("\n"); in sched()
708 printf(" ["); in complete_rendez()
710 printf("]\n"); in complete_rendez()
714 printf(" ["); in complete_rendez()
716 printf("]\n"); in complete_rendez()
881 { printf("spin: indexing %s[%d] - size is %d\n", in in_bound()
929 if (lnr) printf("%3d: ", depth); in whoruns()
930 printf("proc "); in whoruns()
932 printf(" -"); in whoruns()
934 printf("%2d", X->pid - Have_claim); in whoruns()
935 printf(" (%s) ", X->n->name); in whoruns()
943 printf("\n"); in talk()
961 { printf("MSC: ~G line %d\n", newnever); in p_talk()
963 printf("%3d: proc - (NEVER) line %d \"never\" ", in p_talk()
965 printf("(state 0)\t[printf('MSC: never\\\\n')]\n"); in p_talk()
967 { printf("%3d: proc - (NEVER) line %d \"never\"\n", in p_talk()
989 printf("%s:%d (state %d)", in p_talk()
995 { printf(" <valid end state>"); in p_talk()
1007 { printf("spin: error, type: %d\n", n->sym->type); in remotelab()
1046 printf(" %s: i=%d, prno=%d, ->pid=%d\n", Y->n->name, i, prno, Y->pid); in remotevar()
1053 { printf("spin: remote reference error on '%s[%d]'\n", in remotevar()
1084 printf("remote ref: %s[%d] ", n->lft->sym->name, prno-added); in remotevar()
1086 printf("have only:\n"); in remotevar()
1090 printf("\t%d\t%s\n", i, Y->n->name); in remotevar()