Go to the source code of this file.
int generate_latch_passfail_file |
( |
SIGNALS * |
sp, |
|
|
char * |
filename, |
|
|
int |
runall |
|
) |
| |
Definition at line 279 of file vpassfail.c.
293 fprintf(fp,
".control\n\n");
299 fprintf(fp,
"run\n\n");
306 fprintf(fp,
"if chFAIL = 1\n");
307 fprintf(fp,
"\tfree all yes\n");
308 fprintf(fp,
"\tchFAIL = 1\n");
309 fprintf(fp,
"end\n\n");
311 fprintf(fp,
"if chFAIL = 0\n");
312 fprintf(fp,
"\tfree all yes\n");
313 fprintf(fp,
"\tchFAIL = 0\n");
314 fprintf(fp,
"end\n\n");
static int generate_async_latch_passfail(FILE *fp, SIGNALS *sp, int runall)
static int generate_sync_latch_passfail(FILE *fp, SIGNALS *sp, int runall)
static char filename[LINE_LENGTH]