diff options
author | Alan Mishchenko <alanmi@berkeley.edu> | 2017-02-18 20:20:50 -0800 |
---|---|---|
committer | Alan Mishchenko <alanmi@berkeley.edu> | 2017-02-18 20:20:50 -0800 |
commit | 27caed8dc812db321730ee9451a2a0788ad0ab28 (patch) | |
tree | a5e9487309481c5c766ef866068f324fbb0bb313 /src/base/abci | |
parent | 3f0cb6318b14e286cd9054a0f771183d15ef3db6 (diff) | |
download | abc-27caed8dc812db321730ee9451a2a0788ad0ab28.tar.gz abc-27caed8dc812db321730ee9451a2a0788ad0ab28.tar.bz2 abc-27caed8dc812db321730ee9451a2a0788ad0ab28.zip |
Experiments with SAT sweeping.
Diffstat (limited to 'src/base/abci')
-rw-r--r-- | src/base/abci/abc.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/base/abci/abc.c b/src/base/abci/abc.c index 52684f8c..4c37242d 100644 --- a/src/base/abci/abc.c +++ b/src/base/abci/abc.c @@ -43019,7 +43019,7 @@ int Abc_CommandAbc9Test( Abc_Frame_t * pAbc, int argc, char ** argv ) // Jf_ManTestCnf( pAbc->pGia ); // Gia_ManCheckFalseTest( pAbc->pGia, nFrames ); // Gia_ParTest( pAbc->pGia, nWords, nProcs ); - +Cec2_ManSimulateTest( pAbc->pGia ); // printf( "\nThis command is currently disabled.\n\n" ); return 0; usage: |