diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2017-01-25 13:56:16 -0800 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2017-01-25 13:56:16 -0800 |
| commit | 3119e1e30f8a44eb6236792c69f8cca64c99f7a8 (patch) | |
| tree | bfb415456935368d9057b5eaef686a09154f4411 /src/base/wlc | |
| parent | cf1106aba8d940a6d9d5f410b6773c24bdf0d393 (diff) | |
| download | abc-3119e1e30f8a44eb6236792c69f8cca64c99f7a8.tar.gz abc-3119e1e30f8a44eb6236792c69f8cca64c99f7a8.tar.bz2 abc-3119e1e30f8a44eb6236792c69f8cca64c99f7a8.zip | |
Adding features for invariant minimization.
Diffstat (limited to 'src/base/wlc')
| -rw-r--r-- | src/base/wlc/wlcCom.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/base/wlc/wlcCom.c b/src/base/wlc/wlcCom.c index be9ba7f6..2828fea3 100644 --- a/src/base/wlc/wlcCom.c +++ b/src/base/wlc/wlcCom.c @@ -681,7 +681,7 @@ int Abc_CommandInvCheck( Abc_Frame_t * pAbc, int argc, char ** argv ) if ( nFailed ) printf( "Invariant verification failed for %d clauses (out of %d).\n", nFailed, Vec_IntEntry(Wlc_AbcGetInv(pAbc),0) ); else - printf( "Invariant verification passes.\n" ); + printf( "Invariant verification succeeded.\n" ); return 0; usage: Abc_Print( -2, "usage: inv_check [-vh]\n" ); |