diff options
author | Alan Mishchenko <alanmi@berkeley.edu> | 2017-03-23 19:19:29 -0700 |
---|---|---|
committer | Alan Mishchenko <alanmi@berkeley.edu> | 2017-03-23 19:19:29 -0700 |
commit | a34d8cbb364857fb6b5fad6ddfbcdaa6b275c512 (patch) | |
tree | c15b1939988dba61f80fe7b0a6197b290a59b6dd /src/sat/bmc/bmcFault.c | |
parent | 1ac9d2997cfe8ece3f611a4286c682a3e6a2c7eb (diff) | |
download | abc-a34d8cbb364857fb6b5fad6ddfbcdaa6b275c512.tar.gz abc-a34d8cbb364857fb6b5fad6ddfbcdaa6b275c512.tar.bz2 abc-a34d8cbb364857fb6b5fad6ddfbcdaa6b275c512.zip |
Experiments with don't-cares.
Diffstat (limited to 'src/sat/bmc/bmcFault.c')
-rw-r--r-- | src/sat/bmc/bmcFault.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/sat/bmc/bmcFault.c b/src/sat/bmc/bmcFault.c index 71eef2c4..0f63fa64 100644 --- a/src/sat/bmc/bmcFault.c +++ b/src/sat/bmc/bmcFault.c @@ -1069,7 +1069,7 @@ Vec_Int_t * Gia_ManGetTestPatterns( char * pFileName ) continue; if ( c != '0' && c != '1' ) { - printf( "Wring symbol (%c) in the input file.\n", c ); + printf( "Wrong symbol (%c) in the input file.\n", c ); Vec_IntFreeP( &vTests ); break; } |