diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2012-09-23 14:30:17 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2012-09-23 14:30:17 -0700 |
| commit | f7caf84f21ff02b12e41be6b7e1fdfeeab3a560f (patch) | |
| tree | 0bfccc8316d94d05b5a7ffb4ddd985a6b7507e53 /src/base | |
| parent | c8ed816714c51e2876e3d74b211728c12835070f (diff) | |
| download | abc-f7caf84f21ff02b12e41be6b7e1fdfeeab3a560f.tar.gz abc-f7caf84f21ff02b12e41be6b7e1fdfeeab3a560f.tar.bz2 abc-f7caf84f21ff02b12e41be6b7e1fdfeeab3a560f.zip | |
Modified structural constraint extraction (unfold -s) to work for multi-output testcases.
Diffstat (limited to 'src/base')
| -rw-r--r-- | src/base/abci/abc.c | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/base/abci/abc.c b/src/base/abci/abc.c index fb431bf7..5cf1fa0b 100644 --- a/src/base/abci/abc.c +++ b/src/base/abci/abc.c @@ -21280,9 +21280,9 @@ int Abc_CommandUnfold( Abc_Frame_t * pAbc, int argc, char ** argv ) Abc_Print( -1, "Constraints are already extracted.\n" ); return 0; } - if ( Abc_NtkPoNum(pNtk) > 1 ) + if ( Abc_NtkPoNum(pNtk) > 1 && !fStruct ) { - Abc_Print( -1, "Constraint extraction works for single-output miters (use \"orpos\").\n" ); + Abc_Print( -1, "Functional constraint extraction works for single-output miters (use \"orpos\").\n" ); return 0; } // modify the current network |