diff options
author | Alan Mishchenko <alanmi@berkeley.edu> | 2005-09-05 08:01:00 -0700 |
---|---|---|
committer | Alan Mishchenko <alanmi@berkeley.edu> | 2005-09-05 08:01:00 -0700 |
commit | 1260d20cc05fe2d21088cc047c460e85ccdb3b14 (patch) | |
tree | f10ccc3333f78b6e2e089a88c8cf61a47b2f2dcd /src/base/main/main.c | |
parent | 33012d9530c40817e1fc5230b3e663f7690b2e94 (diff) | |
download | abc-1260d20cc05fe2d21088cc047c460e85ccdb3b14.tar.gz abc-1260d20cc05fe2d21088cc047c460e85ccdb3b14.tar.bz2 abc-1260d20cc05fe2d21088cc047c460e85ccdb3b14.zip |
Version abc50905
Diffstat (limited to 'src/base/main/main.c')
-rw-r--r-- | src/base/main/main.c | 21 |
1 files changed, 7 insertions, 14 deletions
diff --git a/src/base/main/main.c b/src/base/main/main.c index a3fd979a..0622a3bd 100644 --- a/src/base/main/main.c +++ b/src/base/main/main.c @@ -231,29 +231,22 @@ usage: Synopsis [Returns 1 if s is a file type recognized, else returns 0.] - Description [Returns 1 if s is a file type recognized by VIS, else returns - 0. Recognized types are "blif", "blif_mv", "blif_mvs", and "none".] + Description [Returns 1 if s is a file type recognized by ABC, else returns 0. + Recognized types are "blif", "bench", "pla", and "none".] SideEffects [] ******************************************************************************/ -static int -TypeCheck( - Abc_Frame_t * pAbc, - char * s) +static int TypeCheck( Abc_Frame_t * pAbc, char * s ) { - if (strcmp(s, "blif") == 0) { + if (strcmp(s, "blif") == 0) return 1; - } - else if (strcmp(s, "blif_mv") == 0) { + else if (strcmp(s, "bench") == 0) return 1; - } - else if (strcmp(s, "blif_mvs") == 0) { + else if (strcmp(s, "pla") == 0) return 1; - } - else if (strcmp(s, "none") == 0) { + else if (strcmp(s, "none") == 0) return 1; - } else { fprintf( pAbc->Err, "unknown type %s\n", s ); return 0; |