diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2020-08-12 19:32:42 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2020-08-12 19:32:42 -0700 |
| commit | 850d39fec30b46b049717ae0a7a5743396b14ecd (patch) | |
| tree | cbdd0b663fd4583bb7a9429a07cb1269eb15147d /src/base | |
| parent | b74b7dfc2d2065eebc800c9165a3e15caeb4453d (diff) | |
| download | abc-850d39fec30b46b049717ae0a7a5743396b14ecd.tar.gz abc-850d39fec30b46b049717ae0a7a5743396b14ecd.tar.bz2 abc-850d39fec30b46b049717ae0a7a5743396b14ecd.zip | |
Making &cec use precomputed simulation info.
Diffstat (limited to 'src/base')
| -rw-r--r-- | src/base/abci/abc.c | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/src/base/abci/abc.c b/src/base/abci/abc.c index d1ed5901..3219cd9e 100644 --- a/src/base/abci/abc.c +++ b/src/base/abci/abc.c @@ -37156,6 +37156,11 @@ int Abc_CommandAbc9Cec( Abc_Frame_t * pAbc, int argc, char ** argv ) Abc_Print( 0, "The verification miter is written into file \"%s\".\n", "cec_miter.aig" ); Gia_AigerWrite( pMiter, "cec_miter.aig", 0, 0, 0 ); } + if ( pGias[0]->vSimsPi ) + { + pMiter->vSimsPi = Vec_WrdDup(pGias[0]->vSimsPi); + pMiter->nSimWords = pGias[0]->nSimWords; + } pAbc->Status = Cec_ManVerify( pMiter, pPars ); Abc_FrameReplaceCex( pAbc, &pGias[0]->pCexComb ); Gia_ManStop( pMiter ); |