diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2018-04-19 17:05:04 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2018-04-19 17:05:04 -0700 |
| commit | 1c6655578cb0258be9fd325dbe466bc2277e5d7c (patch) | |
| tree | 19a672b0df1395b52de177cd242bf7b934c1bf94 /src/base/wlc/wlcCom.c | |
| parent | 098103012dc53a77087750f40bd04ef22be55a52 (diff) | |
| download | abc-1c6655578cb0258be9fd325dbe466bc2277e5d7c.tar.gz abc-1c6655578cb0258be9fd325dbe466bc2277e5d7c.tar.bz2 abc-1c6655578cb0258be9fd325dbe466bc2277e5d7c.zip | |
Memory abstraction.
Diffstat (limited to 'src/base/wlc/wlcCom.c')
| -rw-r--r-- | src/base/wlc/wlcCom.c | 11 |
1 files changed, 9 insertions, 2 deletions
diff --git a/src/base/wlc/wlcCom.c b/src/base/wlc/wlcCom.c index b8853dda..3fbe1ba8 100644 --- a/src/base/wlc/wlcCom.c +++ b/src/base/wlc/wlcCom.c @@ -309,9 +309,10 @@ int Abc_CommandPs( Abc_Frame_t * pAbc, int argc, char ** argv ) int fShowMem = 0; int fDistrib = 0; int fTwoSides = 0; + int fAllObjects = 0; int c, fVerbose = 0; Extra_UtilGetoptReset(); - while ( ( c = Extra_UtilGetopt( argc, argv, "cmardtvh" ) ) != EOF ) + while ( ( c = Extra_UtilGetopt( argc, argv, "cmardtovh" ) ) != EOF ) { switch ( c ) { @@ -333,6 +334,9 @@ int Abc_CommandPs( Abc_Frame_t * pAbc, int argc, char ** argv ) case 't': fTwoSides ^= 1; break; + case 'o': + fAllObjects ^= 1; + break; case 'v': fVerbose ^= 1; break; @@ -356,9 +360,11 @@ int Abc_CommandPs( Abc_Frame_t * pAbc, int argc, char ** argv ) Wlc_NtkPrintNodes( pNtk, WLC_OBJ_ARI_ADD ); if ( fShowMem ) Wlc_NtkPrintMemory( pNtk ); + if ( fAllObjects ) + Wlc_NtkPrintObjects( pNtk ); return 0; usage: - Abc_Print( -2, "usage: %%ps [-cmardtvh]\n" ); + Abc_Print( -2, "usage: %%ps [-cmardtovh]\n" ); Abc_Print( -2, "\t prints statistics\n" ); Abc_Print( -2, "\t-c : toggle printing cones [default = %s]\n", fShowCones? "yes": "no" ); Abc_Print( -2, "\t-m : toggle printing multipliers [default = %s]\n", fShowMulti? "yes": "no" ); @@ -366,6 +372,7 @@ usage: Abc_Print( -2, "\t-r : toggle printing memories [default = %s]\n", fShowMem? "yes": "no" ); Abc_Print( -2, "\t-d : toggle printing distrubition [default = %s]\n", fDistrib? "yes": "no" ); Abc_Print( -2, "\t-t : toggle printing stats for LHS and RHS [default = %s]\n", fTwoSides? "yes": "no" ); + Abc_Print( -2, "\t-o : toggle printing all objects [default = %s]\n", fAllObjects?"yes": "no" ); Abc_Print( -2, "\t-v : toggle printing verbose information [default = %s]\n", fVerbose? "yes": "no" ); Abc_Print( -2, "\t-h : print the command usage\n"); return 1; |