diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2022-06-23 07:48:10 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2022-06-23 07:48:10 -0700 |
| commit | 8888e8e82e189a599a340e83ac8094bdef1ceb51 (patch) | |
| tree | cec4d875ea855fda94a3fe20b6745306285858db /src/bool/kit/kitDsd.c | |
| parent | 8eb651c3d380168aeb752f90f16b37fff6d39142 (diff) | |
| download | abc-8888e8e82e189a599a340e83ac8094bdef1ceb51.tar.gz abc-8888e8e82e189a599a340e83ac8094bdef1ceb51.tar.bz2 abc-8888e8e82e189a599a340e83ac8094bdef1ceb51.zip | |
Experiments with the mapper.
Diffstat (limited to 'src/bool/kit/kitDsd.c')
| -rw-r--r-- | src/bool/kit/kitDsd.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/bool/kit/kitDsd.c b/src/bool/kit/kitDsd.c index 7d85214b..cd02db67 100644 --- a/src/bool/kit/kitDsd.c +++ b/src/bool/kit/kitDsd.c @@ -2497,7 +2497,7 @@ void Kit_DsdVerify( Kit_DsdNtk_t * pNtk, unsigned * pTruth, int nVars ) p = Kit_DsdManAlloc( nVars, Kit_DsdNtkObjNum(pNtk)+2 ); pTruthC = Kit_DsdTruthCompute( p, pNtk ); if ( !Extra_TruthIsEqual( pTruth, pTruthC, nVars ) ) - printf( "Verification failed.\n" ); + printf( "Verification failed for gate with %d inputs.\n", nVars ); Kit_DsdManFree( p ); } |