diff options
author | Alan Mishchenko <alanmi@berkeley.edu> | 2018-06-06 14:17:52 -0700 |
---|---|---|
committer | Alan Mishchenko <alanmi@berkeley.edu> | 2018-06-06 14:17:52 -0700 |
commit | aae37ffd4ce42d64677fc9ab51ad98ec3ab2aae0 (patch) | |
tree | fb9ee82ece39f878a5f533848e3e985c9c9c2ffb /src/base/abci/abc.c | |
parent | 867600b766cc37218d619bec0c3fbbc1f700d72e (diff) | |
download | abc-aae37ffd4ce42d64677fc9ab51ad98ec3ab2aae0.tar.gz abc-aae37ffd4ce42d64677fc9ab51ad98ec3ab2aae0.tar.bz2 abc-aae37ffd4ce42d64677fc9ab51ad98ec3ab2aae0.zip |
Experiments with path enumeration.
Diffstat (limited to 'src/base/abci/abc.c')
-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 b779ea34..72e33633 100644 --- a/src/base/abci/abc.c +++ b/src/base/abci/abc.c @@ -13144,7 +13144,7 @@ int Abc_CommandTest( Abc_Frame_t * pAbc, int argc, char ** argv ) // Cba_PrsReadBlifTest(); } // Abc_NtkComputePaths( Abc_FrameReadNtk(pAbc) ); -// Psl_FileTest(); + Abc_EnumeratePathsTest(); return 0; usage: Abc_Print( -2, "usage: test [-CKDNM] [-aovwh] <file_name>\n" ); |