diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2022-08-08 16:43:30 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2022-08-08 16:43:30 -0700 |
| commit | af0ac88266d83db084683fb5d509936ca45e1aff (patch) | |
| tree | 6ed59f3b9362fdc22f6a29af9d8fc239e41c8ee1 /src/sat | |
| parent | 1368a920b9ba4903bc0891c981c8450249e1767f (diff) | |
| download | abc-af0ac88266d83db084683fb5d509936ca45e1aff.tar.gz abc-af0ac88266d83db084683fb5d509936ca45e1aff.tar.bz2 abc-af0ac88266d83db084683fb5d509936ca45e1aff.zip | |
Improvements to command 'twoexact'.
Diffstat (limited to 'src/sat')
| -rw-r--r-- | src/sat/bmc/bmcMaj.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/sat/bmc/bmcMaj.c b/src/sat/bmc/bmcMaj.c index 5dda943f..d408c702 100644 --- a/src/sat/bmc/bmcMaj.c +++ b/src/sat/bmc/bmcMaj.c @@ -1480,7 +1480,7 @@ void Exa_ManIsNormalized( Vec_Wrd_t * vSimsIn, Vec_Wrd_t * vSimsOut ) if ( Count ) printf( "The data for %d divisors are not normalized.\n", Count ); if ( !(Vec_WrdEntry(vSimsOut, 0) & 1) ) - printf( "The data for the outputs is not normalized.\n", Count ); + printf( "The output data is not normalized.\n" ); // else if ( Count == 0 ) // printf( "The data is fully normalized.\n" ); } |