diff options
author | Alan Mishchenko <alanmi@berkeley.edu> | 2014-05-27 01:12:00 +0900 |
---|---|---|
committer | Alan Mishchenko <alanmi@berkeley.edu> | 2014-05-27 01:12:00 +0900 |
commit | bfa48cef2aab9e21f0fe9bd24a0bcfd7ce464686 (patch) | |
tree | 9cd0ba57d37622e7562280795e9d9ec6ef24988d /src/base | |
parent | ed1a925c615e863845b5b7e8c81fd3ecf3708e0a (diff) | |
download | abc-bfa48cef2aab9e21f0fe9bd24a0bcfd7ce464686.tar.gz abc-bfa48cef2aab9e21f0fe9bd24a0bcfd7ce464686.tar.bz2 abc-bfa48cef2aab9e21f0fe9bd24a0bcfd7ce464686.zip |
Experiment with support minimization.
Diffstat (limited to 'src/base')
-rw-r--r-- | src/base/abci/abc.c | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/src/base/abci/abc.c b/src/base/abci/abc.c index 83fd0933..bdf57e55 100644 --- a/src/base/abci/abc.c +++ b/src/base/abci/abc.c @@ -6330,6 +6330,7 @@ usage: int Abc_CommandVarMin( Abc_Frame_t * pAbc, int argc, char ** argv ) { extern void Abc_SuppTest( int nOnes, int nVars, int fUseSimple, int fCheck, int fVerbose ); + extern void Abc_SuppReadMinTest( char * pFileName ); int nOnes = 4; int nVars = 20; int fUseSimple = 0; @@ -6378,6 +6379,12 @@ int Abc_CommandVarMin( Abc_Frame_t * pAbc, int argc, char ** argv ) goto usage; } } + // get the file name + if ( argc == globalUtilOptind + 1 ) + { + Abc_SuppReadMinTest( argv[globalUtilOptind] ); + return 0; + } Abc_SuppTest( nOnes, nVars, fUseSimple, fCheck, fVerbose ); return 0; |