Changing 'miter' to compute SEQUENTIAL miter by default.

This commit is contained in:
Alan Mishchenko 2014-02-15 16:54:08 -08:00
parent d5253839b9
commit ea1baf6f70
1 changed files with 1 additions and 1 deletions

View File

@ -6482,7 +6482,7 @@ int Abc_CommandMiter( Abc_Frame_t * pAbc, int argc, char ** argv )
pNtk = Abc_FrameReadNtk(pAbc);
// set defaults
fComb = 1;
fComb = 0;
fCheck = 1;
fImplic = 0;
fMulti = 0;